AI for Mathematics

AIMat

AI systems capable of solving math problems and proving theorems, driving advances in machine learning and natural language processing.

Neighbor communities

51015

Featured Papers

0 / 0 papers shown

Title

All papers

50 / 493 papers shown

Title
MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification Mantas Baksys Stefan Zetzsche Olivier Bouissou AIMat LRM 100 0 0 11 Dec 2025
SymPyBench: A Dynamic Benchmark for Scientific Reasoning with Executable Python Code Shima Imani Seungwhan Moon Adel Ahmadyan Lu Zhang Kirmani Ahmed Babak Damavandi AIMat ReLM LRM ELM 168 0 0 05 Dec 2025
PretrainZero: Reinforcement Active Pretraining Xingrun Xing Zhiyuan Fan Jie Lou Guoqi Li Jiajun Zhang Debing Zhang OffRL AIMat ReLM LRM AI4CE 310 0 0 03 Dec 2025
IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch Param Biyani Shashank Kirtania Yasharth Bajpai Sumit Gulwani Ashish Tiwari AIMat LRM 140 0 0 30 Nov 2025
RIDE: Difficulty Evolving Perturbation with Item Response Theory for Mathematical Reasoning Xinyuan Li Murong Xu Wenbiao Tao Hanlun Zhu Yike Zhao Jipeng Zhang Yunshi Lan AIMat LRM 238 0 0 06 Nov 2025
Learning Interestingness in Automated Mathematical Theory Formation George Tsoukalas Rahul Saha Amitayush Thakur Sabrina Reguyal Swarat Chaudhuri AIMat LRM 224 0 0 05 Nov 2025
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 290 0 0 04 Nov 2025
Mathematical exploration and discovery at scale Bogdan Georgiev Javier Gómez-Serrano Terence Tao Adam Zsolt Wagner AIMat 167 6 0 03 Nov 2025
RLMEval: Evaluating Research-Level Neural Theorem Proving Auguste Poiroux Antoine Bosselut Viktor Kuncak AIMat OffRL 260 0 0 29 Oct 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 259 0 0 28 Oct 2025
DynaSolidGeo: A Dynamic Benchmark for Genuine Spatial Mathematical Reasoning of VLMs in Solid Geometry Changti Wu Shijie Lian Zihao Liu Lei Zhang Laurence Tianruo Yang Kai Chen AIMat 367 0 0 25 Oct 2025
Foundation of Intelligence: Review of Math Word Problems from Human Cognition Perspective Zhenya Huang Jiayu Liu Xin Lin Zhiyuan Ma Shangzi Xue Tong Xiao Qi Liu Yee Whye Teh Enhong Chen AIMat LRM 274 0 0 24 Oct 2025
Limits of PRM-Guided Tree Search for Mathematical Reasoning with LLMs Tristan Cinquin Geoff Pleiss Agustinus Kristiadi AIMat LRM 171 0 0 23 Oct 2025
QueST: Incentivizing LLMs to Generate Difficult Problems Hanxu Hu Xingxing Zhang Jannis Vamvas Rico Sennrich Furu Wei AIMat SyDa MQ LRM 179 0 0 20 Oct 2025
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings Prithwish Jana Kaan Kale Ahmet Ege Tanriverdi Cruise Song S. Vishwanath Vijay Ganesh AIMat 280 0 0 17 Oct 2025
Code-driven Number Sequence Calculation: Enhancing the inductive Reasoning Abilities of Large Language Models Kedi Chen Zhikai Lei Xu Guo Xuecheng Wu Siyuan Zeng ... J. Zhou Liang He Qipeng Guo Kai Chen Wei-na Zhang AIMat AI4TS LRM 211 0 0 16 Oct 2025
Program of Thoughts for Financial Reasoning: Leveraging Dynamic In-Context Examples and Generative Retrieval Subhendu Khatuya Shashwat Naidu Pawan Goyal Niloy Ganguly AIMat ReLM LRM 203 0 0 15 Oct 2025
MATH-Beyond: A Benchmark for RL to Expand Beyond the Base Model Prasanna Mayilvahanan Ricardo Dominguez-Olmedo Thaddäus Wiedemer Wieland Brendel OffRL AIMat ReLM LRM 165 0 0 13 Oct 2025
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems Meiru Zhang Philipp Borchert Milan Gritta Gerasimos Lampouras AIMat 387 0 0 12 Oct 2025
MatheMagic: Generating Dynamic Mathematics Benchmarks Robust to Memorization Dayyán O'Brien Barry Haddow Emily Allaway Pinzhen Chen AIMat 168 0 0 07 Oct 2025
CMT-Benchmark: A Benchmark for Condensed Matter Theory Built by Expert Researchers Haining Pan James V. Roggeveen Erez Berg Juan Carrasquilla Debanjan Chowdhury ... Di Luo Titus Neupert Xiaoliang Qi Michael P. Brenner Eun-Ah Kim AIMat ALM ELM 170 0 0 06 Oct 2025
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 119 0 0 01 Oct 2025
Reinforcement Mid-Training Yijun Tian S. Chen Zhichao Xu Y. X. R. Wang Jinhe Bi Peng Han Wei Wang AIMat OffRL LRM 151 0 0 29 Sep 2025
Putnam-like dataset summary: LLMs as mathematical competition contestants Bartosz Bieganowski Daniel Strzelecki Robert Skiba Mateusz Topolewski AIMat 220 0 0 29 Sep 2025
DOoM: Difficult Olympiads of Math Ilya Kuleshov Ilin Pavel Nikolay Kompanets Ksenia Sycheva Aleksandr Nikolich AIMat 198 0 0 27 Sep 2025
GenesisGeo: Technical Report Minfeng Zhu Z. Wang Sizhe Ji Zhengtong Du Junming Ke X. Deng Z. Yin Xiuqi Huang Heyu Wang Wei Chen AIMat 154 0 0 26 Sep 2025
RLP: Reinforcement as a Pretraining Objective Ali Hatamizadeh Syeda Nahida Akter Shrimai Prabhumoye Jan Kautz M. Patwary Mohammad Shoeybi Bryan Catanzaro Yejin Choi AIMat OffRL LRM AI4CE 256 1 1 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 169 7 0 26 Sep 2025
ScaleDiff: Scaling Difficult Problems for Advanced Mathematical Reasoning Qizhi Pei Zhuoshi Pan Honglin Lin Xin Gao Yu Li Zinan Tang Conghui He Rui Yan Lijun Wu AIMat OffRL LRM 179 1 0 25 Sep 2025
REAMS: Reasoning Enhanced Algorithm for Maths Solving Eishkaran Singh Tanav Singh Bajaj Siddharth Nayak AIMat 169 0 0 16 Sep 2025
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning Ziye Chen Chengwei Qin Yao Shu AIMat LRM 160 1 0 09 Sep 2025
Parallel-R1: Towards Parallel Thinking via Reinforcement Learning Tong Zheng H. Zhang Wenhao Yu Xiaoyang Wang Runpeng Dai R. Liu Huiwen Bao Chengsong Huang Heng Huang Dong Yu AIMat ReLM OffRL LRM 287 18 0 09 Sep 2025
FormaRL: Enhancing Autoformalization with no Labeled Data Yanxing Huang Xinling Jin Sijie Liang Peng Li Yang Liu OffRL AIMat AI4CE 163 3 0 26 Aug 2025
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs Terry Jingchen Zhang Wenyuan Jiang Rongchuan Liu Yisong Wang J. Yang Ning Wang Nicole Ni Yinya Huang Mrinmaya Sachan AIMat 149 0 0 21 Aug 2025
Preliminary Ranking of WMT25 General Machine Translation Systems Tom Kocmi Eleftherios Avramidis Rachel Bawden Ondrej Bojar Konstantin Dranch ... Parker Riley Mariya Shmatova Steinþór Steingrímsson Lisa Yankovskaya Vilém Zouhar AIMat ALM 258 2 0 11 Aug 2025
Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs Aryan Gulati Brando Miranda Eric Chen Emily Xia Kai Fronsdal Bruno Dumont Elyas Obbad Sanmi Koyejo AIMat ReLM LRM 294 5 0 05 Aug 2025
Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems Yebo Peng Zixiang Liu Yaoming Li Zhizhuo Yang Xinye Xu Bowen Ye Weijun Yuan Zihan Wang Tong Yang AIMat 184 0 0 04 Aug 2025
DocTron-Formula: Generalized Formula Recognition in Complex and Structured Scenarios Yufeng Zhong Zhixiong Zeng Lei Chen Longrong Yang Liming Zheng Jing Huang Siqi Yang Lin Ma AIMat 178 0 0 01 Aug 2025
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving L. Chen J. Gu Daigang Xu Wenhao Huang Z. L. Jiang ... Ge Zhang Tianyun Zhao Jianqiu Zhao Yichi Zhou Thomas Hanwen Zhu AIMat LRM 190 29 0 31 Jul 2025
Beyond Passive Critical Thinking: Fostering Proactive Questioning to Enhance Human-AI Collaboration Ante Wang Yujie Lin Jingyao Liu Suhang Wu Hao Liu Xinyan Xiao Jinsong Su AIMat LRM 197 0 0 31 Jul 2025
Can the current trends of AI handle a full course of mathematics? Mariam Alsayyad Fayadh Kadhem AIMat 193 0 0 29 Jul 2025
SAND-Math: Using LLMs to Generate Novel, Difficult and Useful Mathematics Questions and Answers Chaitanya Manem Pratik Prabhanjan Brahma Prakamya Mishra Zicheng Liu Emad Barsoum AIMat LRM 238 4 0 28 Jul 2025
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving Zhenwen Liang Linfeng Song Yang Li Tao Yang Feng Zhang Haitao Mi Dong Yu AIMat LRM 95 5 0 07 Jul 2025
ABench-Physics: Benchmarking Physical Reasoning in LLMs via High-Difficulty and Dynamic Physics Problems Yiming Zhang Yingfan Ma Yanmei Gu Zhengkai Yang Yihong Zhuang ... Yuanyuan Wang Chao Huang Bowen Song Cheng Lin Junbo Zhao AIMat LRM AI4CE 164 0 0 07 Jul 2025
PhysUniBench: An Undergraduate-Level Physics Reasoning Benchmark for Multimodal Models Lintao Wang Encheng Su Jiaqi Liu Pengze Li Peng Xia ... Lei Bai Wanli Ouyang Shixiang Tang Aoran Wang Xinzhu Ma AIMat LRM 216 0 0 21 Jun 2025
Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models Dadi Guo Jiayu Liu Zhiyuan Fan Zhitao He Haoran Li Yumeng Wang Yi R. Fung Yi R. Fung AIMat LRM 294 9 0 20 Jun 2025
StepProof: Step-by-step verification of natural language mathematical proofs Xiaolin Hu Qinghua Zhou Bogdan Grechuk I. Tyukin AIMat LRM 301 0 0 12 Jun 2025
Reinforcement Pre-Training Qingxiu Dong Li Dong Yao Tang Tianzhu Ye Yutao Sun Zhifang Sui Furu Wei AIMat OffRL ReLM LRM 156 0 0 09 Jun 2025
Mathesis: Towards Formal Theorem Proving from Natural Languages Yu Xuejun Jianyuan Zhong Zijin Feng Pengyi Zhai Roozbeh Yousefzadeh ... Dongcai Lu Jiacheng Sun Q. Xu Shen Xin Zhenguo Li AIMat OffRL LRM 185 8 0 08 Jun 2025
FinanceReasoning: Benchmarking Financial Numerical Reasoning More Credible, Comprehensive and ChallengingAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 Zichen Tang Haihong E Ziyan Ma Haoyang He Jiacheng Liu ... Kun Ji Qing Huang Xinyang Hu Wenshu Fan Qianhe Zheng AIMat AIFin ELM 321 3 0 06 Jun 2025

Loading #Papers per Month with "AIMat"

Past speakers

Name (-)

Top Contributors

Name (-)

Top Organizations at ResearchTrend.AI

Name (-)

Social Events

Date	Location	Event
No social events available