NeurIPS 2024 Workshop MATH-AI Submissions

Semantic Self-Consistency: Enhancing Language Model Reasoning via Semantic Weighting
Tim Knappe, Ryan Luo Li, Ayush Chauhan, Kaylee Chhua, Kevin Zhu, Sean O'Brien
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Probabilistic Proof State Compression: Optimizing LLM-Guided Formal Verification
Noor Rahim, Ali Abdul Rahim
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Constraint-Based Synthetic Data Generation for LLM Mathematical Reasoning
Timofey Fedoseev, Dimitar Iliev Dimitrov, Timon Gehr, Martin Vechev
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Synchronizing Verbal Responses and Board Writing for Multimodal Math Instruction with LLMs
Yuan-Hao Jiang, Ruijia Li, Yuang Wei, Rui Jia, Xiaobao Shao, Hanglei Hu, Bo Jiang
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving
Fabian Gloeckle, Jannis Limperg, Gabriel Synnaeve, Amaury Hayat
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
AI-Assisted Generation of Difficult Math Questions
Vedant Shah, Dingli Yu, Kaifeng Lyu, Simon Park, Jiatong Yu, Yinghui He, Nan Rosemary Ke, Michael Curtis Mozer, Yoshua Bengio, Sanjeev Arora, Anirudh Goyal
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
How Transformers Reason: A Case Study on a Synthetic Propositional Logic Problem
Guan Zhe Hong, Nishanth Dikkala, Enming Luo, Cyrus Rashtchian, Xin Wang, Rina Panigrahy
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Learning Elementary Cellular Automata with Transformers
Mikhail Burtsev
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Math for AI: On the Generalization of Learning Mathematical Problem Solving
Ruochen Zhou, Minrui Xu, Shiqi Chen, Junteng Liu, Yunqi Li, Xinxin Lin, Zhengyu Chen, Junxian He
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Genetic Curriculum Learning for Distribution Generalization on the Travelling Salesman Problem
Michael Li, Christopher Haberland, Natasha Jaques
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Structure Based Dataset on SAT Solving with Graph Neural Networks
Yi Fu, Anthony Tompkins, Yang Song, Maurice Pagnucco
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
A Hessian View of Grokking in Mathematical Reasoning
Zhenshuo Zhang, Jerry Weihong Liu, Christopher Re, Hongyang R. Zhang
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning
Aryan Gulati, Brando Miranda, Eric Chen, Emily Xia, Kai Fronsdal, Bruno de Moraes Dumont, Sanmi Koyejo
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Generative Verifiers: Reward Modeling as Next-Token Prediction
Lunjun Zhang, Arian Hosseini, Hritik Bansal, Mehran Kazemi, Aviral Kumar, Rishabh Agarwal
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula
Shubhra Mishra, Gabriel Poesia, Belinda Mo, Noah Goodman
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Not All LLM Reasoners Are Created Equal
Arian Hosseini, Alessandro Sordoni, Daniel Kenji Toyama, Aaron Courville, Rishabh Agarwal
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically
Kefan Dong, Arvind V. Mahankali, Tengyu Ma
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Machine Learning meets Algebraic Combinatorics: A Suite of Datasets to Accelerate AI for Mathematics Research
Herman Chau, Helen Jenne, Davis Brown, Jesse He, Mark Raugas, Sara C. Billey, Henry Kvinge
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Repeated examples help learn arithmetic
Francois Charton, Julia Kempe
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
VinePPO: Accurate Credit Assignment in RL for LLM Mathematical Reasoning
Amirhossein Kazemnejad, Milad Aghajohari, Eva Portelance, Alessandro Sordoni, Siva Reddy, Aaron Courville, Nicolas Le Roux
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Transformers to Predict the Applicability of Symbolic Integration Routines
Rashid Barket, Uzma Shafiq, Matthew England, Juergen Gerhard
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
NLIR: Natural Language Intermediate Representation for Mechanized Theorem Proving
Laetitia Teodorescu, Guillaume Baudart, Emilio Jesús Gallego Arias, Marc Lelarge
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
DrawEduMath: Evaluating Vision Language Models with Expert-Annotated Students’ Hand-Drawn Math Images
Sami Baral, Li Lucy, Ryan Knight, Alice Ng, Luca Soldaini, Neil Heffernan, Kyle Lo
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Decomposing Complex Visual Comprehension into Atomic Visual Skills for Vision Language Models
Hyunsik Chae, Seungwoo Yoon, Chloe Yewon Chun, Gyehun Go, Yongin Cho, Gyeongmin Lee, Ernest K. Ryu
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Library Learning Doesn’t: The Curious Case of the Single-Use “Library”
Ian Berlot-Attwell, Frank Rudzicz, Xujie Si
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone