(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)

08:55-09:00 Introduction and Opening Remarks
09:00-09:30 Invited Talk Title: TBD
Cezary Kaliszyk, University of Innsbruck
09:30-10:00 Invited Talk Title: TBD
Behnam Neyshabur, Google
10:00-10:30 Invited Talk Title: TBD
Jacob Steinhardt, UC Berkeley
10:30-11:00 Coffee Break
11:00-12:00 Poster Session 1
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 Coffee Break
14:30-15:00 Poster Session 2
15:00-15:30 Invited Talk Title: TBD
François Charton, Meta AI
15:30-16:00 Invited Talk Title: TBD
Noah D. Goodman, Stanford University
16:00-16:30 Invited Talk Title: TBD (remote)
Peter Clark, AI2
16:30-17:00 Coffee Break
17:00-18:00 Panel Discussion François Charton (Meta AI), Noah D. Goodman (Stanford University), Behnam Neyshabur (Google), Talia Ringer (UIUC), Daniel Selsam (OpenAI)
18:00-18:05 Closing Remarks