(New Orleans, December 03, 2022, Website)
Schedule
Saturday, December 03, 2022
All times are in Central Standard Time (CST) (Check local time)
Location: Room 293 - 294, New Orleans Convention Center (Map)
Live video stream: Link
| 08:55-09:00 | Introduction and Opening Remarks | |
| 09:00-09:30 | Invited Talk |
Reasoning and Abstraction as Challenges for AI Cezary Kaliszyk, University of Innsbruck |
| 09:30-10:00 | Invited Talk |
Length Generalization in Quantitative Reasoning Behnam Neyshabur, Google |
| 10:00-10:30 | Invited Talk |
Has Progress on Math been Surprising? Jacob Steinhardt, UC Berkeley |
| 10:30-12:00 | Poster Session | |
| 12:00-13:00 | Lunch Break | |
| 13:00-13:20 | Contributed Talk |
Teaching Algorithmic Reasoning via In-context Learning Hattie Zhou, Université de Montréal |
| 13:20-13:40 | Contributed Talk |
Solving Math Word Problems with Process-based and Outcome-based Feedback Nate Kushman, DeepMind |
| 13:40-14:00 | Contributed Talk |
ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems Zhangir Azerbayev, Yale University |
| 14:00-14:30 | Invited Talk |
Towards Systematic Reasoning with Language Models Peter Clark, AI2 |
| 14:30-15:00 | Coffee Break | |
| 15:00-15:30 | Invited Talk |
Leveraging Maths to Understand Transformers François Charton, Meta AI |
| 15:30-16:00 | Invited Talk |
Learning Mathematical Reasoning for Education Noah D. Goodman, Stanford University |
| 16:00-16:55 | Panel Discussion |
François Charton (Meta AI),
Noah D. Goodman (Stanford University),
Behnam Neyshabur (Google),
Talia Ringer (UIUC),
Daniel Selsam (OpenAI)
|
| 16:55-17:00 | Closing Remarks |