ICML 2025 Workshop AI4MATH Submissions

Machine Learning and LLM-Boost Symbolic Regression for Predicting $\mathbb{Q}$-Gonality of Modular Curves
Xu Zhuang, Yuxiang Yao, Po-Chu Hsu, Xiaokang Wang, Peikai Qi
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Instilling Parallel Reasoning into Language Models
Matthew Macfarlane, Minseon Kim, Nebojsa Jojic, Weijia Xu, Lucas Caccia, Xingdi Yuan, Wanru Zhao, Zhengyan Shi, Alessandro Sordoni
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4
Brando Miranda, Zhanke Zhou, Allen Nie, Elyas Obbad, Leni Aniva, Kai Fronsdal, Weston Kirk, Dilara Soylu, Andrea Yu, Ying Li, Sanmi Koyejo
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Which Data Attributes Stimulate Math and Code Reasoning? An Investigation via Influence Functions
Siqi Kou, Qingyuan Tian, Hanwen Xu, Zihao Zeng, Zhijie Deng
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving
Tim Knappe, Vincent Li, Yule Fu, Kevin Han, Kevin Zhu
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
Zijian Wu, Suozhi Huang, Zhejian Zhou, Huaiyuan Ying, Zheng Yuan, Wenwei Zhang, Dahua Lin, Kai Chen
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Target-Based Automated Conjecturing for Neural Theorem Proving
Marco Dos Santos, Albert Q. Jiang, Wenda Li, Mateja Jamnik
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Beyond Accuracy: A Policy Gradient Reweighting Approach for Pass@K Maximization in LLMs
Sadegh Mahdavi, Muchen Li, Kaiwen Liu, Renjie Liao, Christos Thrampoulidis
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
Hiroshi Yoshihara, Taiki Yamaguchi, Yuichi Inoue
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
From Narrative to Formalism: A Case Study in the Origin of Molecular Translation System
Dmitry Zubarev
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Omni-Thinker: Scaling Cross-Domain Generalization in LLMs via Multi-Task RL with Hybrid Rewards
Derek Li, Jiaming Zhou, Amirreza Kazemi, Qianyi Sun, Abbas Ghaddar, Liheng Ma, Yu Luo, Dong Li, Jianye HAO, Yingxue Zhang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
Weiming Wu, Zi-Kang Wang, Jin Ye, Zhi Zhou, Yu-Feng Li, Lan-Zhe Guo
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
ProofCompass: Enhancing Specialized Provers with LLM Guidance
Nicolas Wischermann, Claudio Mayrink Verdun, Gabriel Poesia, Francesco Noseda
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Ada-R1: Hybrid CoT via Bi-Level Adaptive Reasoning Optimization
Haotian Luo, Haiying He, Yibo Wang, Jinluan Yang, Rui Liu, Naiqiang Tan, Xiaochun Cao, Dacheng Tao, Li Shen
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Boosting LLM Reasoning via Spontaneous Self-Correction
Xutong Zhao, Tengyu Xu, Xuewei Wang, Zhengxing Chen, Di Jin, Liang Tan, Yen-Ting Lin, Zishun Yu, Zhuokai Zhao, Yun He, Sinong Wang, Han Fang, Sarath Chandar, Chen Zhu
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
LeanTutor: A Lean-Verified Tutor for Mathematical Proofs
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, Gireeja Ranade
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Small Models Struggle to Learn from Strong Reasoners
Yuetai Li, Xiang Yue, Zhangchen Xu, Fengqing Jiang, Luyao Niu, Bill Yuchen Lin, Bhaskar Ramasubramanian, Radha Poovendran
- Published: 09 Jul 2025, Last Modified: 30 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Learning to Solve Complex Problems via Dataset Decomposition
Wanru Zhao, Lucas Caccia, Zhengyan Shi, Minseon Kim, Xingdi Yuan, Weijia Xu, Marc-Alexandre Côté, Alessandro Sordoni
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Putting the Value Back in RL: Better Test-Time Scaling by Unifying LLM Reasoners With Verifiers
Kusha Sareen, Morgane M Moss, Alessandro Sordoni, Rishabh Agarwal, Arian Hosseini
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
DSR-Bench: Evaluating the Structural Reasoning Abilities of LLMs via Data Structures
Yu He, Yingxi Li, Colin White, Ellen Vitercik
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Milenov Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar D. Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev, Mislav Balunovic, Martin Vechev
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Inequality Ranking and Inference System ($\texttt{\textbf{IRIS}}$): Giving Mathematical Conjectures Numerical Value
Jillian Eddy, Randy Davila, Jesus De Loera, Junwei Lu, Ethan X Fang, Zini Yang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Forget Less, Solve More: Sequential Fine-Tuning with Adapter Shrinking for Math Word Problems
Gauri Toshniwal, S R Balasundaram
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
CoDaPO: Confidence and Difficulty-Adaptive Policy Optimization for Post-Training Language Models
Zhanke Zhou, Xiangyu Lu, Chentao Cao, Brando Miranda, Tongliang Liu, Bo Han, Sanmi Koyejo
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone