v1v2 (latest)

An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems

12 August 2025

Papers citing "An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems"

1 / 1 papers shown

Title
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty Yuchen Tian Ruiyuan Huang Xuanwu Wang Jing Ma Zengfeng Huang Ziyang Luo Hongzhan Lin Da Zheng Lun Du AIMat LRM 27 0 0 01 Oct 2025