NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4
Jiarui Yao
|
Ruida Wang
|
Tong Zhang
|
Paper Details:
Month: November
Year: 2025
Location: Suzhou, China
Venue:
EMNLP |
Citations
URL
No Citations Yet
https://github.com/MaxwellJryao/FANS
https://openai.com/index/
https://arxiv
https://huggingface.co/meta-llama/Llama-3.3-70B-
Field Of Study