AI RESEARCH
IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch
arXiv CS.AI
•
ArXi:2512.00997v2 Announce Type: replace Reliable autoformalization remains challenging even in the era of large language models (LLMs). The scarcity of high-quality