Schedule
All times are in Pacific Time (PT)
| 8:25am - 8:30am | Opening Remarks |
| 8:30am - 9:00am | Invited Talk: Weiyang Liu (Chinese University of Hong Kong) |
| 9:00am - 9:30am | Invited Talk: Hannaneh Hajishirzi (UW & AI2) |
| 9:30am - 10:00am | Invited Talk: Max Tegmark (MIT), "Vericoding: Formally Verified Program Synthesis" |
| 10:00am - 10:30am | Invited Talk: Leonardo de Moura (Lean FRO & AWS) |
| 10:30am - 11:15am | Panel Discussion: Tengyu Ma (Stanford), Tom Kalil (Renaissance Philanthropy), Patrick Shafto (DARPA & Rutgers), Jonathan Thomm (Harmonic) |
| 11:15am - 12:00pm | Poster Session 1 |
| 12:00pm - 1:00pm | Lunch Break |
| 1:00pm - 1:30pm | Invited Talk: Aviral Kumar (CMU) |
| 1:30pm - 2:00pm | Invited Talk: Weizhu Chen (Microsoft) |
| 2:00pm - 2:30pm | Coffee Break |
| 2:30pm - 3:30pm | Contributed Talks ∙ Sumanth Varambally: "Hilbert: Recursively Building Formal Proofs with Informal Reasoning" ∙ Sergey Galkin and Igor Kiselev: "CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs" ∙ Yuxiao Qu: "Learning to Reason on Hard Problems with Privileged On-Policy Exploration" |
| 3:30pm - 4:15pm | Panel Discussion: Martin Vechev (ETH Zürich & INSAIT), Swarat Chaudhuri (UT Austin & Google DeepMind), Chi Jin (Princeton), Dawn Song (UC Berkeley) |
| 4:15pm - 5:25pm | Poster Session 2 |
| 5:25pm - 5:30pm | Closing Remarks |