NeurIPS 2024 Workshop MATH-AI Submissions

SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation.
Prakhar Dixit, Tim Oates
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Give me a hint: Can LLMs take a hint to solve math problems?
Vansh Agrawal, Pratham Singla, Amitoj Singh Miglani, Shivank Garg, Ayush Mangal
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
SBSC: Step-by-Step Coding for Improving Mathematical Olympiad Performance
Kunal Singh, Ankan Biswas, Sayandeep Bhowmick, Pradeep Moturi
- Published: 10 Oct 2024, Last Modified: 01 Nov 2024
- MATH-AI 24
- Readers: Everyone
Lean-STaR: Learning to Interleave Thinking and Proving
Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming Yang
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers
Minh Phu Nguyen, Minh Phuong Pham, Man Ngo, Kha Tuan Minh
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Skywork-Math: Data Scaling Laws for Mathematical Reasoning in LLMs — The Story Goes On
Liang Zeng, Liangjun Zhong
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Proving Olympiad Algebraic Inequalities without Human Demonstrations
Chenrui Wei, Mengzhou Sun, Wei Wang
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for LLM Problem-Solving
Yangzhen Wu, Zhiqing Sun, Shanda Li, Sean Welleck, Yiming Yang
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
STEM-PoM: Evaluating Language Models Math-Symbol Reasoning in Document Parsing
Jiaru Zou, Qing Wang, Pratyush Thakur, Nickvash Kani
- Published: 10 Oct 2024, Last Modified: 01 Nov 2024
- MATH-AI 24
- Readers: Everyone
Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes
Jesse He, Helen Jenne, Herman Chau, Davis Brown, Mark Raugas, Sara C. Billey, Henry Kvinge
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Attention Bias as an Inductive Bias: How to Teach Transformers Simple Arithmetic
Shaoxiong Duan, Yining Shi, Wei Xu
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Learning Mathematical Rules with Large Language Models
Antoine Gorceix, Bastien Le Chenadec, Ahmad Rammal, Nelson Vadori, Manuela Veloso
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Formal Representation and Solution of Plane Geometric Problems
Xiaokai Zhang, Na Zhu, Cheng Qin, LI Yang, Zhenbing Zeng, Tuo Leng
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data
Shubham Toshniwal, Wei Du, Ivan Moshkov, Branislav Kisacanin, Alexan Ayrapetyan, Igor Gitman
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
WILT: A Multi-turn, Memorization-Robust Inductive Logic Benchmark for LLMs
Eryk Banatt, Jonathan Cheng, Tiffany Hwu
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Sampling
Hritik Bansal, Arian Hosseini, Rishabh Agarwal, Vinh Q. Tran, Mehran Kazemi
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe R Loughridge, Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, Nada Amin
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Regress, Don’t Guess – A Regression-like Loss on Number Tokens for Language Models
Jonas Zausinger, Lars Pennig, Kacper Chlodny, Vincent Limbach, Anna Ketteler, Thorben Prein, Vishwa Mohan Singh, Michael Danziger, Jannis Born
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
DafnyBench: A Benchmark for Formal Software Verification
Chloe R Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone