IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch

30 November 2025

Param Biyani

Shashank Kirtania

Yasharth Bajpai

Sumit Gulwani

Ashish Tiwari

ArXiv (abs)PDF HTML Github

Papers citing "IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch"

0 / 0 papers shown

Title
No papers found