Workshop
MATH-AI: Toward Human-Level Mathematical Reasoning
Pan Lu · Swaroop Mishra · Sean Welleck · Yuhuai Wu · Hannaneh Hajishirzi · Percy Liang
Room 293 - 294
Sat 3 Dec, 6:55 a.m. PST
Mathematical reasoning is a unique aspect of human intelligence and a fundamental building block for scientific and intellectual pursuits. However, learning mathematics is often a challenging human endeavor that relies on expert instructors to create, teach and evaluate mathematical material. From an educational perspective, AI systems that aid in this process offer increased inclusion and accessibility, efficiency, and understanding of mathematics. Moreover, building systems capable of understanding, creating, and using mathematics offers a unique setting for studying reasoning in AI. This workshop will investigate the intersection of mathematics education and AI.
Schedule
Sat 6:55 a.m. - 7:00 a.m.
|
Introduction and Opening Remarks
(
Opening Remarks
)
>
SlidesLive Video |
🔗 |
Sat 7:00 a.m. - 7:30 a.m.
|
Reasoning and Abstraction as Challenges for AI
(
Invited Talk
)
>
SlidesLive Video |
Cezary Kaliszyk 🔗 |
Sat 7:30 a.m. - 8:00 a.m.
|
Length Generalization in Quantitative Reasoning
(
Invited Talk
)
>
SlidesLive Video |
Behnam Neyshabur 🔗 |
Sat 8:00 a.m. - 8:30 a.m.
|
Has Progress on Math been Surprising?
(
Invited Talk
)
>
SlidesLive Video |
Jacob Steinhardt 🔗 |
Sat 8:30 a.m. - 10:00 a.m.
|
Poster Session
(
Poster Session
)
>
|
🔗 |
Sat 10:00 a.m. - 11:00 a.m.
|
Lunch Break
|
🔗 |
Sat 11:00 a.m. - 11:20 a.m.
|
Teaching Algorithmic Reasoning via In-context Learning
(
Contributed Talk
)
>
link
SlidesLive Video |
Hattie Zhou · Azade Nova · aaron courville · Hugo Larochelle · Behnam Neyshabur · Hanie Sedghi 🔗 |
Sat 11:20 a.m. - 11:40 a.m.
|
Solving Math Word Problems with Process-based and Outcome-based Feedback
(
Contributed Talk
)
>
link
SlidesLive Video |
Jonathan Uesato · Nate Kushman · Ramana Kumar · H. Francis Song · Noah Siegel · Lisa Wang · Antonia Creswell · Geoffrey Irving · Irina Higgins 🔗 |
Sat 11:40 a.m. - 12:00 p.m.
|
ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems
(
Contributed Talk
)
>
SlidesLive Video |
Zhangir Azerbayev · Bartosz Piotrowski · Jeremy Avigad 🔗 |
Sat 12:00 p.m. - 12:30 p.m.
|
Towards Systematic Reasoning with Language Models
(
Invited Talk
)
>
SlidesLive Video |
Peter Clark 🔗 |
Sat 12:30 p.m. - 1:00 p.m.
|
Coffee Break
|
🔗 |
Sat 1:00 p.m. - 1:30 p.m.
|
Leveraging Maths to Understand Transformers
(
Invited Talk
)
>
SlidesLive Video |
Francois Charton 🔗 |
Sat 1:30 p.m. - 2:00 p.m.
|
Learning Mathematical Reasoning for Education
(
Invited Talk
)
>
SlidesLive Video |
Noah Goodman 🔗 |
Sat 2:00 p.m. - 2:55 p.m.
|
MATH-AI: Toward Human-Level Mathematical Reasoning
(
Discussion Panel
)
>
SlidesLive Video |
Francois Charton · Noah Goodman · Behnam Neyshabur · Talia Ringer · Daniel Selsam 🔗 |
Sat 2:55 p.m. - 3:00 p.m.
|
Closing Remarks
(
Closing Remarks
)
>
|
🔗 |
-
|
Neural Combinatorial Logic Circuit Synthesis from Input-Output Examples
(
Poster
)
>
|
Peter Belcak · Roger Wattenhofer 🔗 |
-
|
Automatic Generation of Socratic Questions for Learning to Solve Math Word Problems
(
Poster
)
>
SlidesLive Video |
Kumar Shridhar · Jakub Macina · Menna El-Assady · tanmay sinha · Mrinmaya Sachan 🔗 |
-
|
Generating Reflexive Polytopes via Sequence Modeling
(
Poster
)
>
SlidesLive Video |
Bernt Ivar Utstøl Nødland 🔗 |
-
|
A Causal Framework to Quantify Robustness of Mathematical Reasoning with Language Models
(
Poster
)
>
SlidesLive Video |
Alessandro Stolfo · Zhijing Jin · Kumar Shridhar · Bernhard Schölkopf · Mrinmaya Sachan 🔗 |
-
|
What is my math transformer doing? Three results on interpretability and generalization
(
Poster
)
>
|
Francois Charton 🔗 |
-
|
Learning to Understand Plane Geometry Diagram
(
Poster
)
>
SlidesLive Video |
Mlingliang Zhang · Fei yin · Yihan Hao · Cheng-lin Liu 🔗 |
-
|
Lemma: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions
(
Poster
)
>
SlidesLive Video |
Zhening Li · Gabriel Poesia Reis e Silva · Omar Costilla Reyes · Noah Goodman · Armando Solar-Lezama 🔗 |
-
|
MWP-BERT: A Numeracy-augmented Pre-trained Encoder for Math Word Problems
(
Poster
)
>
SlidesLive Video |
Zhenwen Liang · Jipeng ZHANG · Lei Wang · Wei QIN · Jie Shao · Xiangliang Zhang 🔗 |
-
|
Inversely Eliciting Numerical Reasoning in Language Models via Solving Linear Systems
(
Poster
)
>
SlidesLive Video |
Fan Zhou · Haoyu Dong · Qian Liu · Zhoujun Cheng · Shi Han · Dongmei Zhang 🔗 |
-
|
EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry
(
Poster
)
>
SlidesLive Video |
Man Fai Wong · Xintong Qi · Chee-Wei Tan 🔗 |
-
|
Estimating Numbers without Regression
(
Poster
)
>
SlidesLive Video |
Avijit Thawani · Jay Pujara · Ashwin Kalyan 🔗 |
-
|
Learn to Select Good Examples with Reinforcement Learning for Semi-structured Mathematical Reasoning
(
Poster
)
>
|
Pan Lu · Liang Qiu · Kai-Wei Chang · Ying Nian Wu · Song-Chun Zhu · Tanmay Rajpurohit · Peter Clark · Ashwin Kalyan 🔗 |
-
|
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
(
Poster
)
>
|
Albert Jiang · Sean Welleck · Jin Peng Zhou · Timothee Lacroix · Jiacheng Liu · Wenda Li · Mateja Jamnik · Guillaume Lample · Yuhuai Wu 🔗 |
-
|
Overcoming Barriers to Skill Injection in Language Modeling: Case Study in Arithmetic
(
Poster
)
>
SlidesLive Video |
Mandar Sharma · Nikhil Muralidhar · Naren Ramakrishnan 🔗 |
-
|
Teaching Algorithmic Reasoning via In-context Learning
(
Poster
)
>
SlidesLive Video |
Hattie Zhou · Azade Nova · aaron courville · Hugo Larochelle · Behnam Neyshabur · Hanie Sedghi 🔗 |
-
|
Broken Neural Scaling Laws
(
Poster
)
>
|
Ethan Caballero · Kshitij Gupta · Irina Rish · David Krueger 🔗 |
-
|
Towards automating formalisation of theorem statements using large language models
(
Poster
)
>
SlidesLive Video |
Siddhartha Gadgil · Anand Tadipatri · Navin Goyal · Ayush Agrawal · Ashvni Narayanan 🔗 |
-
|
Graph neural networks for Ramsey graphs
(
Poster
)
>
SlidesLive Video |
Amur Ghose · Amit Levi · Yingxueff Zhang 🔗 |
-
|
Improving Compositional Generalization in Math Word Problem Solving
(
Poster
)
>
SlidesLive Video |
Yunshi Lan · Lei Wang · Jing Jiang · Ee-peng Lim 🔗 |
-
|
ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems
(
Poster
)
>
|
Zhangir Azerbayev · Bartosz Piotrowski · Jeremy Avigad 🔗 |
-
|
Learning to Reason With Relational Abstractions
(
Poster
)
>
|
Andrew Nam · James McClelland · Mengye Ren · Chelsea Finn 🔗 |
-
|
Out-of-Distribution Generalization in Algorithmic Reasoning Through Curriculum Learning
(
Poster
)
>
|
Andrew Nam · Mustafa Abdool · Trevor Maxfield · James McClelland 🔗 |
-
|
On the Abilities of Mathematical Extrapolation with Implicit Models
(
Poster
)
>
|
Alicia Tsai · Juliette Decugis · Ashwin Ganesh · Max Emerling · Laurent El Ghaoui 🔗 |
-
|
Program Synthesis for Integer Sequence Generation
(
Poster
)
>
SlidesLive Video |
Natasha Butt · Auke Wiggers · Taco Cohen · Max Welling 🔗 |
-
|
LILA: A Unified Benchmark for Mathematical Reasoning
(
Poster
)
>
SlidesLive Video |
11 presentersSwaroop Mishra · Matthew Finlayson · Pan Lu · Leonard Tang · Sean Welleck · Chitta Baral · Tanmay Rajpurohit · Oyvind Tafjord · Ashish Sabharwal · Peter Clark · Ashwin Kalyan |
-
|
Solving Math Word Problems with Process-based and Outcome-based Feedback
(
Poster
)
>
|
Jonathan Uesato · Nate Kushman · Ramana Kumar · H. Francis Song · Noah Siegel · Lisa Wang · Antonia Creswell · Geoffrey Irving · Irina Higgins 🔗 |