(West Meeting Room 118-120, Vancouver, December 14, 2024, Website)
Schedule
| 8:25am - 8:30am | Opening Remarks |
| 8:30am - 9:00am | Invited Talk: Dawn Song, UC Berkeley |
| 9:00am - 9:30am | Invited Talk: Samy Bengio, Apple |
| 9:30am - 10:00am | Invited Talk: Noam Brown, OpenAI |
| 10:00am - 11:00am | Panel Discussion: Dawn Song, Jeremy Avigad, Noam Brown, Junehyuk Jung (Brown) |
| 11:00am - 12:30pm | Coffee Break and Poster Session 1 |
| 12:30pm - 1:30pm | Lunch Break |
| 1:30pm - 2:00pm | Invited Talk: Adam Wagner, Google DeepMind |
| 2:00pm - 2:30pm | Invited Talk: Jeremy Avigad, CMU |
| 2:30pm - 3:00pm | Coffee Break |
| 3:00pm - 3:30pm | Invited Talk: James Zou, Stanford |
| 3:30pm - 4:00pm | Contributed Talks: 1. VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search David Brandfonbrener, Harvard University 2. Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for LLM Problem-Solving Sean Welleck and Zhiqing Sun, CMU 3. Learning Mathematical Rules with Large Language Models Nelson Vadori, JPMorganChase AI Research |
| 4:00pm - 5:00pm | Poster Session 2 |
| 5:00pm - 5:05pm | Closing Remarks |