Poster · Sydney
P³: Joint Program-and-Proof Planning for Verified Code Generation
- When
- Wed 9 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 4
- Authors
- Zenan Li, Ziran Yang, Peiyang Song, Zhaoyu Li, Kaiyu Yang
- Organisations
- ETH Zurich, Princeton University, Carnegie Mellon University, University of Toronto, Meta
- QRS classification
- Language models