Workshop · Atlanta
AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics
- When
- Sat 12 Dec 2026, 08:00–17:00 EST
- Where
- C113-C114, Georgia World Congress Center
- Authors
- Wuyang Chen, Soonho Kong, Hakjoo Oh, Jingxuan He, Jacqueline Mitchell, Amanda Liu, Zhe Ye, Xiaodong Liu, Varun Pant, Jialin Lu, Simon Frieder
- Organisations
- Simon Fraser University, Amazon, Korea University, NVIDIA, Nanyang Technological University, University of Southern California, Google, University of California, Berkeley
- QRS classification
- Agentic AI, Language models