NeurIPS 2023 Workshop MATH-AI Submissions

EchoPrompt: Instructing the Model to Rephrase Queries for Improved In-context Learning
Raja Sekhar Reddy Mekala, Yasaman Razeghi, Sameer Singh
- Published: 28 Oct 2023, Last Modified: 13 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search
Abbas Mehrabian, Ankit Anand, Hyunjik Kim, Nicolas Sonnerat, Tudor Berariu, Matej Balog, Gheorghe Comanici, Andrew Lee, Anian Ruoss, Anna Bulanova, Daniel Toyama, Sam Blackwell, Bernardino Romera Paredes, Laurent Orseau, Petar Veličković, Anurag Murty Naredla, Joonkyung Lee, Adam Zsolt Wagner, Doina Precup
- Published: 28 Oct 2023, Last Modified: 09 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architectures
Michael Hersche, Francesco di Stefano, Thomas Hofmann, Abu Sebastian, Abbas Rahimi
- Published: 28 Oct 2023, Last Modified: 13 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
LLM vs ITP
Simon Frieder, Martin Trimmel, Rashid Alawadhi, Klaus Gy
- Published: 28 Oct 2023, Last Modified: 17 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Solving Math Word Problems with Reexamination
Yi Bin, WENHAO SHI, Yujuan Ding, Yang Yang, See-Kiong Ng
- Published: 28 Oct 2023, Last Modified: 02 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Exploration with Principles for Diverse AI Supervision
Hao Liu, Matei Zaharia, Pieter Abbeel
- Published: 28 Oct 2023, Last Modified: 28 Oct 2023
- MATH-AI 23 Poster
- Readers: Everyone
Solving Math Word Problems by Combining Language Models With Symbolic Solvers
Joy He-Yueya, Gabriel Poesia, Rose Wang, Noah Goodman
- Published: 28 Oct 2023, Last Modified: 11 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Vertical AI-driven Scientific Discovery
Yexiang Xue
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
CHAMP: A Competition-Level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilities
Yujun Mao, Yoon Kim, Yilun Zhou
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Discovering Lyapunov functions with transformers
Alberto Alfarano, Francois Charton, Amaury Hayat
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Can We Count on Deep Learning: Exploring and Characterizing Combinatorial Structures Using Machine Learning
Helen Jenne, Herman Chau, Davis Brown, Jackson Warley, Timothy Doster, Henry Kvinge
- Published: 28 Oct 2023, Last Modified: 15 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Learning the greatest divisor - Explainable predictions in transformers
Francois Charton
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
ARB: Advanced Reasoning Benchmark for Large Language Models
Tomohiro Sawada, Daniel Paleka, Alexander Havrilla, Pranav Tadepalli, Paula Vidas, Alexander Kranias, John Nay, Kshitij Gupta, Aran Komatsuzaki
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts
Tengxiao Liu, Qipeng Guo, Yuqing Yang, Xiangkun Hu, Yue Zhang, Xipeng Qiu, Zheng Zhang
- Published: 28 Oct 2023, Last Modified: 16 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone
Towards Large Language Models as Copilots for Theorem Proving in Lean
Peiyang Song, Kaiyu Yang, Anima Anandkumar
- Published: 28 Oct 2023, Last Modified: 03 Apr 2024
- MATH-AI 23 Poster
- Readers: Everyone
Learning Multi-Step Reasoning by Solving Arithmetic Tasks
Tianduo Wang, Wei Lu
- Published: 28 Oct 2023, Last Modified: 08 Nov 2023
- MATH-AI 23 Poster
- Readers: Everyone