AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics

This workshop studies AI-assisted software and proofs that can be checked by formal tools. Researchers examine collaborative agents, specification development, autoformalization and proof search, connecting generated artefacts with model checkers, proof assistants and program analysis. Session: 08:00–17:00 (America/New_York). A paid NeurIPS virtual pass includes workshop livestreams; on-site access follows the host-location registration rules.