Panel
in
Workshop: AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics Sun, Dec 13, 2026 • 6:45 AM – 7:30 AM AEDT

Panel

Emily First ⋅ Vijay Ganesh ⋅ Patrick Shaobai Li ⋅ Shubho Sengupta ⋅ Patrick Shafto

Chat is not available.