NeurIPS 2024 Workshop MATH-AI Submissions

On Memorization of Large Language Models in Logical Reasoning
Chulin Xie, Yangsibo Huang, Chiyuan Zhang, Da Yu, Xinyun Chen, Bill Yuchen Lin, Bo Li, Badih Ghazi, Ravi Kumar
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Flow-DPO: Improving LLM Mathematical Reasoning through Online Multi-Agent Learning
Yihe Deng, Paul Mineiro
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis
Sagnik Anupam, Maddy Bowers, Omar Costilla Reyes, Armando Solar-Lezama
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Transformers Can Do Arithmetic with the Right Embeddings
Sean Michael McLeish, Arpit Bansal, Alex Stein, Neel Jain, John Kirchenbauer, Brian R. Bartoldson, Bhavya Kailkhura, Abhinav Bhatele, Jonas Geiping, Avi Schwarzschild, Tom Goldstein
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
miniCTX: Neural Theorem Proving with (Long-)Contexts
Jiewen Hu, Thomas Zhu, Sean Welleck
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Mining Math Conjectures from LLMs: A Pruning Approach
Jake Chuharski, Elias Rojas Collins, Mark Meringolo
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
The Art of Knowing When to Stop: Analysis of Optimal Stopping in People and Machines
Fukun Evelene Zhang, Bonan Zhao
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
The Karp Dataset
Mason DiCicco, Eamon Worden, Daniel Reichman, Neil Heffernan, Conner Olsen, Nikhil Gangaram
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Towards Faster Quantum Circuit Simulation Using Graph Decompositions, GNNs and Reinforcement Learning
Alexander Koziell-Pipe, Richie Yeung, Matthew Sutcliffe
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Intermediate Fine-Tuning Improves Mathematical Reasoning in Smaller Models
Neeraj Gangwar, Suma Bhat, Nickvash Kani
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Huajian Xin, Daya Guo, Zhihong Shao, Z.Z. Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Interleaving Text and Number Embeddings to Solve Mathemathics Problems
Marvin Alberts, Gianmarco Gabrieli, Irina Espejo Morales
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Looped Transformers for Length Generalization
Ying Fan, Yilun Du, Kannan Ramchandran, Kangwook Lee
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
TurtleBench: A Visual Programming Benchmark in Turtle Geometry
Sina Rismanchian, Yasaman Razeghi, Sameer Singh, Shayan Doroudi
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Wu’s Method Boosts Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
Shiven Sinha, Ameya Prabhu, Ponnurangam Kumaraguru, Siddharth Bhat, Matthias Bethge
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
InfiMM-WebMath-40B: Advancing Multimodal Pre-Training for Enhanced Mathematical Reasoning
Xiaotian Han, Yiren Jian, Xuefeng Hu, Haogeng Liu, Yiqi Wang, Qihang Fan, Yuang Ai, Huaibo Huang, Ran He, Zhenheng Yang, Quanzeng You
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Models Can and Should Embrace the Communicative Nature of Human-Generated Math
Sasha Boguraev, Ben Lipkin, Leonie Weissweiler, Kyle Mahowald
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
CausalBench: A Comprehensive Benchmark for Evaluating Causal Reasoning Capabilities of Large Language Models
ZEYU WANG
- Published: 10 Oct 2024, Last Modified: 10 Oct 2024
- MATH-AI 24
- Readers: Everyone
FEABench: Evaluating Language Models on Real World Physics Reasoning Ability
Nayantara Mudur, Hao Cui, Subhashini Venugopalan, Paul Raccuglia, Michael Brenner, Peter Christian Norgaard
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Reasoning and Tools for Forecasting
Elvis Hsieh, Preston Fu, Jonathan Chen
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
Reasoning in Reasoning: A Hierarchical Framework for Better and Faster Neural Theorem Proving
Ziyu Ye, Jiacheng Chen, Jonathan Light, Yifei Wang, Jiankai Sun, Mac Schwager, Philip Torr, Guohao Li, Yuxin Chen, Kaiyu Yang, Yisong Yue, Ziniu Hu
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
CAFA: Coding as Auto-Formulation Can Boost Large Language Models in Solving Linear Programming Problem
Haoxuan Deng, Bohao Zheng, Yirui Jiang, Trung Hieu Tran
- Published: 10 Oct 2024, Last Modified: 06 Nov 2024
- MATH-AI 24
- Readers: Everyone
Synthesizing Verified Mathematical Problems
Xuefeng Li, Yanheng He, Pengfei Liu
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
LLM and Simulation as Bilevel Optimizers: A New Paradigm to Advance Physical Scientific Discovery
Pingchuan Ma, Tsun-Hsuan Wang, Minghao Guo, Zhiqing Sun, Joshua B. Tenenbaum, Daniela Rus, Chuang Gan, Wojciech Matusik
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone
HARDMATH: A Benchmark Dataset for Challenging Problems in Applied Mathematics
Jingxuan Fan, Sarah Martinson, Erik Y. Wang, Kaylie Hausknecht, Jonah Brenner, Danxian Liu, Nianli Peng, Corey Wang, Michael Brenner
- Published: 10 Oct 2024, Last Modified: 31 Oct 2024
- MATH-AI 24
- Readers: Everyone