AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics
NeurIPS · 12 December 2026 · 05:00–14:00 · C113-114
AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics was a session at NeurIPS on 12 December 2026 in Atlanta, with 16 speakers on record.
Speakers
- Wuyang Chen — Host
- Hakjoo Oh — Host
- Varun Pant — Host
- Shan Lu — Speaker
- Jingxuan He — Host
- Xiaodong Liu — Host
- Jialin Lu — Host
- Simon Frieder — Host
- Zhe Ye — Host
- Emily First — Speaker
- Soonho Kong — Host
- Jacqueline Mitchell — Host
- Amanda Liu — Host
- Leonardo de Moura — Speaker
- Vijay Ganesh — Speaker
- Baishakhi Ray — Speaker