(Singapore, April 27, 2025)
(All times are in Singapore Time)
Location: Garnet 218-219, Singapore EXPO
| 08:55 | Opening Remarks | |
| 09:00 | Invited Talk |
Keynote 1:
Kevin Ellis
|
| 09:30 | Invited Talk |
Keynote 2:
Shan Lu
|
| 10:00 | Invited Talk |
Keynote 3:
Sida Wang
|
| 10:30 | Coffee Break | |
| 11:00 | Poster Session 1 | |
| 12:00 | Lunch Break | |
| 13:00 | Invited Talk |
Keynote 4:
Emily First
|
| 13:30 | Invited Talk |
Keynote 5:
Charlie Snell
|
| 14:00 | Invited Talk |
Keynote 6:
Nikitha Rao
|
| 14:30 | Poster Session 2 | |
| 15:00 | Contributed Talk |
Orals 1: AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement |
| 15:15 | Contributed Talk |
Orals 2: Self-Steering Language Models |
| 15:30 | Contributed Talk |
Orals 3: Exact Certification of (Graph) Neural Networks Against Label Poisoning |
| 15:45 | Contributed Talk |
Orals 4: Scaling Test-Time Compute Without Verification or RL is Suboptimal |
| 16:00 | Panel Discussion |
Koushik Sen (Berkeley),
Nikitha Rao (CMU),
Sida Wang (FAIR),
Emily First (UCSD),
Charlie Snell (Berkeley),
Xin Zhang (PKU) |
| 17:00 | Closing Remarks |