ICML 2025 Workshop AI4MATH Submissions

Prover Agent: An Agent-based Framework for Formal Mathematical Proofs
Kaito Baba, Chaoran Liu, Shuhei Kurita, Akiyoshi Sannai
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
GenSelect: A Generative Approach to Best-of-N
Shubham Toshniwal, Ivan Sorokin, Aleksander Ficek, Ivan Moshkov, Igor Gitman
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
PADRE: Pseudo-Likelihood based Alignment of Diffusion Language Models
Shiv Shankar
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Optimal Sparsity of Mixture-of-Experts Language Models for Reasoning Tasks
Taishi Nakamura, Satoki Ishikawa, Masaki Kawamura, Takumi Okamoto, Daisuke Nohara, Jun Suzuki, Rio Yokota
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
RL‑QESA: Reinforcement‑Learning Quasi‑Equilibrium Simulated Annealing
Ruichen Xu, Kai Li, Haochun Wang, Georgios Kementzidis, Wei Zhu, Yuefan Deng
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Enhancing Graph Neural Network for Boolean Satisfiability Solving via Data Augmentation
Yi Fu, Anthony Tompkins, Yang Song, Maurice Pagnucco
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Direct Induction Proof Challenge: Evaluating Large Language Models on Deeply Nested Mathematical Induction
Risako Ando, Koji Mineshima, Mitsuhiro Okada
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Reward Under Attack: Evaluating the Sensitivity of Process Reward Models
Udbhav Bamba, Heng Yang, Rishabh Tiwari, Kurt Keutzer, Amir Gholami
- Published: 09 Jul 2025, Last Modified: 26 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Scaling Mathematical Reasoning through Data, Tools, and Generative Selection
Ivan Moshkov, Darragh Hanley, Ivan Sorokin, Shubham Toshniwal, Christof Henkel, Benedikt Schifferer, Wei Du, Igor Gitman
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Discrete Feynman-Kac Correctors
Mohsin Hasan, Marta Skreta, Alan Aspuru-Guzik, Yoshua Bengio, Kirill Neklyudov
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
FMC: Formalization of Natural Language Mathematical Competition Problems
Jiaxuan Xie, Chengwu Liu, Ye Yuan, Siqi Li, Zhiping Xiao, Ming Zhang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
README: Rapid Equation Discovery with Multimodal Encoders
Gregory Kang Ruey Lau, Yue Ran Kang, Zi-Yu Khoo, Apivich Hemachandra, Ruth Wan Theng Chew, Bryan Kian Hsiang Low
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Chain of Thought in Order: Discovering Learning-Friendly Orders for Arithmetic
Yuta Sato, Kazuhiko Kawamoto, Hiroshi Kera
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving
Amitayush Thakur, George Tsoukalas, Greg Durrett, Swarat Chaudhuri
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Reinforcement Learning Teachers of Test Time Scaling
Edoardo Cetin, Tianyu Zhao, Yujin Tang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Simple, Scalable Reasoning via Iterated Summarization
Vivek Vajipey, Aditya Tadimeti, Justin Shen, Ben Prystawski, Michael Y. Li, Noah Goodman
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Not All Votes Count! Translated Program for Verification Improves Self-Consistency of Language Models for Math Reasoning
Vernon Toh, Deepanway Ghosal, Soujanya Poria
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers
Kechen Li, Wenqi Zhu, Coralia Cartis, Tianbo Ji, Shiwei Liu
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Lean Finder: Semantic Search for Mathlib That Understands User Intents
Jialin Lu, Kye Emond, Weiran Sun, Wuyang Chen
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Chain-of-Thought Reasoning for Math: Theoretical Foundation and Applications
Jessica E. Liang
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Majority of the Bests: Improving Best-of-N via Bootstrapping
Amin Rakhsha, Tianyu Zhang, Kanika Madan, Amir-massoud Farahmand, Amir Khasahmadi
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Learning-Guided Local Search for Asymmetric Traveling Salesman Problem
Lejun Zhou, Yi Ju, Scott Moura
- Published: 09 Jul 2025, Last Modified: 25 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
Putnam-AXIOM: A Functional and Static Benchmark
Aryan Gulati, Brando Miranda, Eric Chen, Emily Xia, Kai Fronsdal, Bruno de Moraes Dumont, Sanmi Koyejo
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone
OctoThinker: Mid-Training Incentivizes Reinforcement Learning Scaling
Zengzhi Wang, Fan Zhou, Xuefeng Li, Pengfei Liu
- Published: 09 Jul 2025, Last Modified: 16 Jul 2025
- AI4Math@ICML25 Poster
- Readers: Everyone