NeurIPS 2023 Workshop MATH-AI Submissions

TinyGSM: achieving 80% on GSM8k with one billion parameters
Bingbin Liu, Sebastien Bubeck, Ronen Eldan, Janardhan Kulkarni, Yuanzhi Li, Anh Nguyen, Rachel Ward, Yi Zhang
- Published: 28 Oct 2023, Last Modified: 28 Oct 2023
- MATH-AI 23 Poster
- Readers: Everyone
MinT: Boosting Generalization in Mathematical Reasoning via Multi-View Fine-Tuning
Zhenwen Liang, Dian Yu, Xiaoman Pan, Wenlin Yao, Qingkai Zeng, Xiangliang Zhang, Dong Yu
- Published: 28 Oct 2023, Last Modified: 08 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Continual Learning and Out of Distribution Generalization in a Systematic Reasoning Task
Mustafa Abdool, Andrew Nam, James McClelland
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts
Pan Lu, Hritik Bansal, Tony Xia, Jiacheng Liu, Chunyuan Li, Hannaneh Hajishirzi, Hao Cheng, Kai-Wei Chang, Michel Galley, Jianfeng Gao
- Published: 28 Oct 2023, Last Modified: 28 Oct 2023
- MATH-AI 23 Poster
- Readers: Everyone
Chameleon: Plug-and-Play Compositional Reasoning with Large Language Models
Pan Lu, Baolin Peng, Hao Cheng, Michel Galley, Kai-Wei Chang, Ying Nian Wu, Song-Chun Zhu, Jianfeng Gao
- Published: 28 Oct 2023, Last Modified: 23 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
ToolDec: Syntax Error-Free and Generalizable Tool Use for LLMs via Finite-State Decoding
Hongqiao Chen, Kexun Zhang, Lei Li, William Yang Wang
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
What Algorithms can Transformers Learn? A Study in Length Generalization
Hattie Zhou, Arwen Bradley, Etai Littwin, Noam Razin, Omid Saremi, Joshua Susskind, Samy Bengio, Preetum Nakkiran
- Published: 28 Oct 2023, Last Modified: 15 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Augmenting Large Language Models with Symbolic Rule Learning for Robust Numerical Reasoning
Hadeel Al-Negheimish, Pranava Madhyastha, Alessandra Russo
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Llemma: An Open Language Model For Mathematics
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Jiang, Jia Deng, Stella Biderman, Sean Welleck
- Published: 28 Oct 2023, Last Modified: 28 Oct 2023
- MATH-AI 23 Poster
- Readers: Everyone
SCIBENCH: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models
Xiaoxuan Wang, Ziniu Hu, Pan Lu, Yanqiao Zhu, Jieyu Zhang, Satyen Subramaniam, Arjun Loomba, Shichang Zhang, Yizhou Sun, Wei Wang
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Spoken Language Understanding Evaluations for Home-Based Basic Math Learning
Eda Okur, Saurav Sahay, Lama Nachman
- Published: 28 Oct 2023, Last Modified: 17 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
llmstep: LLM proofstep suggestions in Lean
Sean Welleck, Rahul Saha
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
SIRD: Symbolic Integration Rules Dataset
Vaibhav Sharma, abhinav nagpal, Muhammed Fatih Balin
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
AI for Mathematics: A Cognitive Science Perspective
Cedegao Zhang, Katherine Collins, Adrian Weller, Joshua Tenenbaum
- Published: 28 Oct 2023, Last Modified: 14 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
CNN models' sensitivity to numerosity concepts
Neha Upadhyay, Sashank Varma
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Teaching Arithmetic to Small Transformers
Nayoung Lee, Kartik Sreenivasan, Jason Lee, Kangwook Lee, Dimitris Papailiopoulos
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Reinforcement Learning in Control Theory: A New Approach to Mathematical Problem Solving
Kala Agbo Bidi, Jean-Michel Coron, Amaury Hayat, Nathan Lichtlé
- Published: 28 Oct 2023, Last Modified: 15 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Teaching small transformers to rewrite ZX diagrams
Francois Charton, Alexandre Krajenbrink, Konstantinos Meichanetzidis, Richie Yeung
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
- Published: 28 Oct 2023, Last Modified: 17 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, Jimmy Ba
- Published: 28 Oct 2023, Last Modified: 14 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
A Language-Agent Approach to Formal Theorem-Proving
Amitayush Thakur, Yeming Wen, Swarat Chaudhuri
- Published: 28 Oct 2023, Last Modified: 15 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Lemur: Integrating Large Language Models in Automated Program Verification
Haoze Wu, Clark Barrett, Nina Narodytska
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Temperature-scaled large language models for Lean proofstep prediction
Fabian Gloeckle, Baptiste Roziere, Amaury Hayat, Gabriel Synnaeve
- Published: 28 Oct 2023, Last Modified: 18 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Basic Arithmetic Properties in the Space of Language Model Prompts
Mateusz Krubiński
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Magnushammer: A Transformer-Based Approach to Premise Selection
Maciej Mikuła, Szymon Antoniak, Szymon Tworkowski, Bartosz Piotrowski, Albert Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone