AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics
Workshop · Dec 12, 2026
Atlanta, United States
We use cookies for analytics.
Workshop
This workshop focuses on checking and improving agent reliability during development. It brings researchers together around the evidence and methods needed to evaluate agent behaviour, connecting the design of agent systems with verification and dependable operation. Session: 08:00–17:00 (Australia/Sydney). A paid NeurIPS virtual pass includes workshop livestreams; on-site access follows the host-location registration rules.
Neural Information Processing Systems Foundation (NeurIPS)
Host
Workshop · Dec 12, 2026
Atlanta, United States
Seminar · Nov 10, 2026
Kaiqing Zhang