ICML 2025 Workshop AI4MATH Submissions

Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
Yicheng Tao, Haotian Liu, Shanwen Wang, Hongteng Xu
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
$Q\sharp$: Provably Optimal Distributional RL for LLM Post-Training
Jin Peng Zhou, Kaiwen Wang, Jonathan Daniel Chang, Zhaolin Gao, Nathan Kallus, Kilian Q Weinberger, Kianté Brantley, Wen Sun
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Value-Guided Search for Efficient Chain-of-Thought Reasoning
Kaiwen Wang, Jin Peng Zhou, Jonathan Daniel Chang, Zhaolin Gao, Nathan Kallus, Kianté Brantley, Wen Sun
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
A Compute-Matched Re-Evaluation of TroVE on MATH
Tobias Sesterhenn, Ian Berlot-Attwell, Janis Zenkner, Christian Bartelt
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoning
Nishad Singhi, Hritik Bansal, Arian Hosseini, Aditya Grover, Kai-Wei Chang, Marcus Rohrbach, Anna Rohrbach
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
A Markov Categorical Framework for Language Modeling
Yifan Zhang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
A Comprehensive Evaluation of Contemporary Machine-Learning-Based Solvers for CO
Shengyu Feng, Weiwei Sun, Shanda Li, Ameet Talwalkar, Yiming Yang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Boolformer: Symbolic Regression of Logic Functions with Transformers
Stéphane d'Ascoli, Arthur Renard, Vassilis Papadopoulos, Samy Bengio, Joshua M. Susskind, Emmanuel Abbe
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Learning to Reason without External Rewards
Xuandong Zhao, Zhewei Kang, Aosong Feng, Sergey Levine, Dawn Song
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Scalable Best-of-N Selection for Large Language Models via Self-Certainty
Zhewei Kang, Xuandong Zhao, Dawn Song
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Entropy-Based Adaptive Weighting for Self-Training
Xiaoxuan Wang, Yihe Deng, Mingyu Derek Ma, Wei Wang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
Haotian Zhai, Connor Lawless, Ellen Vitercik, Liu Leqi
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Discovering Hidden Algebraic Structures via Transformers with Rank-Aware Beam GRPO
Jaeha Lee, Gio Huh, Ning Su, Tony Yue YU
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
TinyV: Reducing False Negatives in Verification Improves RL for LLM Reasoning
Zhangchen Xu, Yuetai Li, Fengqing Jiang, Bhaskar Ramasubramanian, Luyao Niu, Bill Yuchen Lin, Radha Poovendran
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Towards Geometry Problem Solving in the Large Model Era: A Survey
Yurui Zhao, Xiang Wang, Jiahong Liu, Irwin King, Zhitao Huang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Let’s Try Again: Eliciting Multi-Turn Reasoning in Language Models via Simplistic Feedback
Licheng Liu, Zihan Wang, Linjie Li, Chenwei Xu, Yiping Lu, Han Liu, Avirup Sil, Manling Li
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
The Invisible Leash: Why RLVR May Not Escape Its Origin
Fang Wu, Yejin Choi
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Landscape of Thoughts: Visualizing the Reasoning Process of Large Language Models
Zhanke Zhou, Zhaocheng Zhu, Xuan Li, Mikhail Galkin, Xiao Feng, Sanmi Koyejo, Jian Tang, Bo Han
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
Yuntian Liu, Tao Zhu, Xiaoyang Liu, Yu Chen, Liu ZhaoXuan, Guo qingfeng, Jiashuo Zhang, Kangjie Bao, Tao Luo
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics
Jie Zhang, Cezara Petrui, Kristina Nikolić, Florian Tramèr
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
SPEED-RL: Faster Training of Reasoning Models via Online Curriculum Learning
Ruiqi Zhang, Daman Arora, Song Mei, Andrea Zanette
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Beyond Single-Task: Robust Multi-Task Length Generalization for LLMs
Yi Hu, Shijia Kang, Haotong Yang, Haotian Xu, Muhan Zhang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
MIRB: Mathematical Information Retrieval Benchmark
Haocheng Ju, Bin Dong
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
DeduCE: Deductive Consistency as a Framework to Evaluate LLM Reasoning
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Learning to Discover Abstractions for LLM Reasoning
Yuxiao Qu, Anikait Singh, Yoonho Lee, Amrith Setlur, Ruslan Salakhutdinov, Chelsea Finn, Aviral Kumar
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone