Add multi-sentence LTL-to-English translators with Wason-style contextualization#158

Open

sidprasad wants to merge 7 commits intomainfrom

multi-sentence-ltl-translation

Commits on Mar 21, 2026

Add three alternative LTL-to-English translators (multi-sentence)

sidprasad
and
claude
committed
Add within-subjects A/B test for abstract vs. contextualized translation

sidprasad
and
claude
committed
Use r/g/b literals for lights theme instead of p/q/r

sidprasad
and
claude
committed
Simplify: generate formulas with r,g,b literals directly

sidprasad
and
claude
committed
Clean up anti-patterns found in review

sidprasad
and
claude
committed
Use prose translator for abstract condition; remove structured translator

sidprasad
and
claude
committed

Commits on Mar 22, 2026

Switch all call sites from old ltltoeng to ltltoeng_prose

sidprasad
and
claude
committed