FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4.

Jiarui Yao, Ruida Wang, Tong Zhang

Browse the full EMNLP paper archive.