Quizzing the Translation: A Prover-Grounded Evaluation Metric for NL$\rightarrow$FOL.

arXiv:2609.33612v1 Announce Type: cross Abstract: A standard pipeline for symbolic reasoning over natural-language problems translates them into first-order logic and invokes a theorem prover. The translation step is the bottleneck: swap "every" for "some" and