ICML 2026 · AI for Math Workshop

Awards

Celebrating the papers and teams recognized at the 3rd AI for Math Workshop and its four challenge tracks.

2 Best Paper Awards 8 Honorable Mentions 11 Challenge Awards

Paper Awards

Recognizing outstanding contributions to AI for mathematics.

Best Paper Award certificate for Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
Best Paper Award

Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification

Recipients: Erik Y. Wang, Sumeet Ramesh Motwani, James V. Roggeveen, Eliot Hodges, Dulhan Jayalath, Charles London, Kalyan Ramakrishnan, Cheng Zhang, Flaviu Cipcigan, Philip Torr, Alessandro Abate

Open full certificate
Best Paper Award certificate for AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities
Best Paper Award

AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities

Recipients: Jimmy Xin, Alexander Mark Schneidman, Chris Cummins, Karun Ram, Srihari Ganesh, Jannis Limperg

Open full certificate
Honorable Mention certificate for QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
Honorable Mention

QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

Recipients: Chenyang An, Qihao Ye, Minghao Pan, Jiayun Zhang

Open full certificate
Honorable Mention certificate for Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
Honorable Mention

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

Recipients: Jialin Lu, Soonho Kong, Rodrigo Stehling, Kaiyu Yang, Zhangyang Wang, Weiran Sun, Wuyang Chen

Open full certificate
Honorable Mention certificate for Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervision
Honorable Mention

Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervision

Recipients: Yinghui He, Simran Kaur, Adithya Bhaskar, Yongjin Yang, Jiarui Liu, Narutatsu Ri, Liam H. Fowl, Abhishek Panigrahi, Dangi Chen, Sanjeev Arora

Open full certificate
Honorable Mention certificate for TorchLean: Formalizing Neural Networks in Lean
Honorable Mention

TorchLean: Formalizing Neural Networks in Lean

Recipients: Robert Joseph George, Jennifer Cruden, Will Adkisson, Xiangru Zhong, Huan Zhang, Anima Anandkumar

Open full certificate
Honorable Mention certificate for SEVerA: Verified Self-Evolving Agents with Specification Guidance
Honorable Mention

SEVerA: Verified Self-Evolving Agents with Specification Guidance

Recipients: Debangshu Banerjee, Changming Xu, Eugene Ie, Ming Zhang, Daiyi Peng, Chu-Cheng Lin, Gagandeep Singh

Open full certificate
Honorable Mention certificate for MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI
Honorable Mention

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI

Recipients: Bohan Lyu, Yucheng Yang, Siqiao Huang, Jiaru Zhang, Qixin Xu, Xinghan Li, Xinyang Han, Huajing Zhang, Yicheng Zhang, Runhan Huang, Kaicheng Yang, Zitao Chen, Wentao Guo, Junlin Yang, Xinyue Ai, Wenhao Chai, Yadi Cao, Ziran Yang, Kun Wang, Dapeng Jiang, Huan-ang Gao, Shange Tang, Chengshuai Shi, Simon Shaolei Du, Max Simchowitz, Jiantao Jiao, Dawn Song, Chi Jin

Open full certificate
Honorable Mention certificate for Are We Measuring Strategy or Phrasing? The Gap Between Surface- and Approach-Level Diversity in LLM Math Reasoning
Honorable Mention

Are We Measuring Strategy or Phrasing? The Gap Between Surface- and Approach-Level Diversity in LLM Math Reasoning

Recipients: Sangmook Lee, Minbeom Kim, Jeonghye Kim, Dohyung Kim, Sojeong Rhee, Kyomin Jung

Open full certificate
Honorable Mention certificate for FIPO-Prover: Formalization-Oriented Informal Proof Optimization for Efficient Formal Theorem Proving
Honorable Mention

FIPO-Prover: Formalization-Oriented Informal Proof Optimization for Efficient Formal Theorem Proving

Recipients: Jingkun Ma, Yuchao Wang, Yujia Huo, Derek F. Wong

Open full certificate

Challenge Awards

Honoring the winners of the ICML 2026 AI4Math Challenges.

Track 1 first place winner certificate
Track 1 · First Place

Semantic Alignment Evaluation for Autoformalization

Winner: Neel Tushar Shah

Open full certificate
Track 1 second place winner certificate
Track 1 · Second Place

Semantic Alignment Evaluation for Autoformalization

Winners: Vu Duc Minh, Nguyen Binh Minh, Chu Ngoc Chien, Vu Huan

Open full certificate
Track 2 second place winner certificate
Track 2 · Second Place

Theoretical Computer Science Proving in Lean

Winners: Lazar Milikic, Viktor Kuncak

Open full certificate
Track 2 third place winner certificate
Track 2 · Third Place

Theoretical Computer Science Proving in Lean

Winners: Jan Ondras, Cameron Freer

Open full certificate
Track 3 first place winner certificate
Track 3 · First Place

SeePhys Pro · Visual Physics Reasoning

Winners: Jiseok Kwak, Suhyeon Jo, Taewoo Kim, Yeongmin Kim, Byeonghu Na, Il-Chul Moon

Open full certificate
Track 3 second place winner certificate
Track 3 · Second Place

SeePhys Pro · Visual Physics Reasoning

Winners: Jasper Dekoninck, Chenhao Sun, Niels Mündler, Yuhao Mao, Martin Vechev

Open full certificate
Track 3 third place winner certificate
Track 3 · Third Place

SeePhys Pro · Visual Physics Reasoning

Winners: Bizhe Bai, Peng Ye, Tao Chen

Open full certificate
Track 4 first place winner certificate
Track 4 · First Place

End-to-End Autoformalization and Proof Generation in Lean 4

Winners: Chengwu Liu, Zijin Feng, Ye Yuan, Jiaxuan Xie, Pu Suo, Siqi Li, Botao Li

Open full certificate
Track 4 second place winner certificate
Track 4 · Second Place

End-to-End Autoformalization and Proof Generation in Lean 4

Winner: Yi Cui

Open full certificate
Track 4 third place winner certificate
Track 4 · Third Place

End-to-End Autoformalization and Proof Generation in Lean 4

Winners: Rachit Verma, Nishitha A

Open full certificate
← Back to the workshop homepage