Title
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels Jiedong Jiang Wanyi He Yuefeng Wang Guoxiong Gao Yongle Hu ... Nailing Guan Peihao Wu Chunbo Dai Liang Xiao Bin Dong AIMat ELM LRM 84 0 0 04 Nov 2025
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization Guoxin Chen Jing Wu Xinjie Chen Wayne Xin Zhao Ruihua Song Chengxi Li Kai Fan Dayiheng Liu Minpeng Liao AIMat OffRL 113 0 0 28 Oct 2025
Deep Self-Evolving Reasoning Zihan Liu Shun Zheng Xumeng Wen Yang Wang Jiang Bian Mao Yang ReLM LRM 43 0 0 20 Oct 2025
LANPO: Bootstrapping Language and Numerical Feedback for Reinforcement Learning in LLMs Ang Li Yifei Wang Zhihang Yuan Stefanie Jegelka Y. X. R. Wang ALM KELM 32 0 0 18 Oct 2025
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Marco Del Tredici Jacob McCarran Benjamin Breen Javier Aspuru Mijares Weichen Winston Yin Jacob M. Taylor Frank Koppens Dirk Englund LRM 24 0 0 14 Oct 2025
Conjecturing: An Overlooked Step in Formal Mathematical Reasoning Jasivan Alex Sivakumar Philipp Borchert Ronald Cardenas Gerasimos Lampouras LRM 15 0 0 13 Oct 2025
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization Rafael Cabral Tuan Manh Do Xuejun Yu Wai Ming Tai Zijin Feng Xin Shen 48 0 0 13 Oct 2025
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems Meiru Zhang Philipp Borchert Milan Gritta Gerasimos Lampouras AIMat 202 0 0 12 Oct 2025
Mathematics with large language models as provers and verifiers Hieu Le Duc Leo Liberti ALM LRM 109 0 0 11 Oct 2025
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph Hanyu Wang Ruohan Xie Yutong Wang Guoxiong Gao Xintao Yu B. Dong 61 0 0 06 Oct 2025
DiFFPO: Training Diffusion LLMs to Reason Fast and Furious via Reinforcement Learning Hanyang Zhao Dawen Liang Wenpin Tang David Yao Nathan Kallus 32 0 0 02 Oct 2025
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory Xiao-Wen Yang Zihao Zhang Jianuo Cao Zhi Zhou Zenan Li Lan-Zhe Guo Yuan Yao Taolue Chen Yu-Feng Li Xiaoxing Ma ALM LRM 40 0 0 26 Sep 2025
Hilbert: Recursively Building Formal Proofs with Informal Reasoning Sumanth Varambally Thomas Voice Yanchao Sun Zhifeng Chen Rose Yu Ke Ye AIMat ReLM LRM 60 3 0 26 Sep 2025
LongCat-Flash-Thinking Technical Report M-A-P Team Anchun Gui Bei Li Bingyang Tao Bole Zhou ... Xuezhi Cao Xunliang Cai Y. Zhang Yang Chen Yang Liu ReLM MoE LRM VLM 65 1 0 23 Sep 2025
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers Ran Xin Zeyu Zheng Yanchen Nie Kun Yuan Xia Xiao OffRL LRM 41 0 0 08 Sep 2025
Breaking the Exploration Bottleneck: Rubric-Scaffolded Reinforcement Learning for General LLM Reasoning Yang Zhou Sunzhu Li Shunyu Liu Wenkai Fang Jiale Zhao ... Hengtong Lu Wei Chen Yan Xie Mingli Song Weilong Dai LRM 100 5 0 23 Aug 2025
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs Kaito Baba Chaoran Liu Shuhei Kurita Akiyoshi Sannai LLMAG 140 8 0 24 Jun 2025
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities Haoyu Zhao Yihan Geng Shange Tang Yong Lin Bohan Lyu Hongzhou Lin Chi Jin Sanjeev Arora 199 4 0 19 May 2025