ICML 2024 Workshop AI4MATH Submissions

Technical Report for ICML 2024 Automated Math Reasoning Challenge: Solving Optimization Problems with Open Source Large Language Model
Duc M. Nguyen, Sungahn Ko
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Lean4trace: Data augmentation for neural theorem proving in Lean
Vasilii Nesterov, Yermek Kapushev, Mikhail Burtsev
- Published: 13 Jun 2024, Last Modified: 08 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
More Details, Please: Improving Autoformalization with More Detailed Proofs
Guillem Tarrach, Albert Q. Jiang, Daniel Raggi, Wenda Li, Mateja Jamnik
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Progress or Regress? Self-Improvement Reversal in Post-training
Ting Wu, Xuefeng Li, Pengfei Liu
- Published: 13 Jun 2024, Last Modified: 28 Jun 2024
- ICML 2024 Workshop AI4MATH Oral
- Readers: Everyone
Efficient Linear System Solver with Transformers
Max Vladymyrov, Johannes von Oswald, Nolan Andrew Miller, Mark Sandler
- Published: 13 Jun 2024, Last Modified: 12 May 2025
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Pre-Calc: Learning to Use the Calculator Improves Numeracy in Language Models
Vishruth Veerendranath, Vishwa Shah, Kshitish Ghate
- Published: 13 Jun 2024, Last Modified: 06 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
PutnamBench: A Multilingual Competition-Mathematics Benchmark for Formal Theorem-Proving
George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Oral
- Readers: Everyone
Smart Vision-Language Reasoners
Denisa Roberts, Lucas Roberts
- Published: 13 Jun 2024, Last Modified: 04 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Teaching Large Language Models to Reason with Reinforcement Learning
Alexander Havrilla, Yuqing Du, Sharath Chandra Raparthy, Christoforos Nalmpantis, Jane Dwivedi-Yu, Eric Hambro, Sainbayar Sukhbaatar, Roberta Raileanu
- Published: 13 Jun 2024, Last Modified: 15 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Specify What? A Case-Study using GPT-4 and Formal Methods For Specification Synthesis
George Granberry, Wolfgang Ahrendt, Moa Johansson
- Published: 13 Jun 2024, Last Modified: 15 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Learning Efficient Recursive Numeral Systems via Reinforcement Learning
Jonathan David Thomas, Andrea Silvi, Devdatt Dubhashi, Emil Carlsson, Moa Johansson
- Published: 13 Jun 2024, Last Modified: 29 Jun 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Learning to Reason by Failing: Offline RL on Sub-optimal Rollouts Scales Synthetic Data by 8x
Amrith Setlur, Saurabh Garg, Xinyang Geng, Naman Garg, Virginia Smith, Aviral Kumar
- Published: 13 Jun 2024, Last Modified: 13 Jun 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
AI for an inverse problem: Physical model solving quantum gravity
Koji Hashimoto, Koshiro Matsuo, Masaki Murata, Gakuto Ogiwara, Daichi Takeda
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
Vernon Toh Yan Han, Ratish Puduppully, Nancy F. Chen
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
DACO: Towards Application-Driven and Comprehensive Data Analysis via Code Generation
Xueqing Wu, Rui Zheng, Jingzhen Sha, Te-Lin Wu, Hanyu Zhou, Tang Mohan, Kai-Wei Chang, Nanyun Peng, Haoran Huang
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving
Aniket Rajiv Didolkar, Anirudh Goyal, Nan Rosemary Ke, Siyuan Guo, Michal Valko, Timothy P Lillicrap, Danilo Jimenez Rezende, Yoshua Bengio, Michael Curtis Mozer, Sanjeev Arora
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Progressive-Hint Prompting Improves Reasoning in Large Language Models
Chuanyang Zheng, Zhengying Liu, Enze Xie, Zhenguo Li, Yu Li
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning
Mehran Kazemi, Hamidreza Alvari, Ankit Anand, Jialin Wu, Xi Chen, Radu Soricut
- Published: 13 Jun 2024, Last Modified: 05 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Large Language Models Can Self-Correct with Minimal Effort
Zhenyu Wu, Qingkai Zeng, Zhihan Zhang, Zhaoxuan Tan, Chao Shen, Meng Jiang
- Published: 13 Jun 2024, Last Modified: 31 Dec 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Advancing LLM Reasoning Generalists with Preference Trees
Lifan Yuan, Ganqu Cui, Hanbin Wang, Ning Ding, Xingyao Wang, Jia Deng, Boji Shan, Huimin Chen, Ruobing Xie, Yankai Lin, Zhenghao Liu, Bowen Zhou, Hao Peng, Zhiyuan Liu, Maosong Sun
- Published: 13 Jun 2024, Last Modified: 03 Jul 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone
Distilling LLMs’ Decomposition Abilities into Compact Language Models
Denis Tarasov, Kumar Shridhar
- Published: 13 Jun 2024, Last Modified: 28 Jun 2024
- ICML 2024 Workshop AI4MATH Poster
- Readers: Everyone