Theorem Happy Hour @ NeurIPS 2025

Stream: Machine Learning for Theorem Proving

[Jason Gross]

Theorem is hosting a happy hour at NeurIPS! We're working on making AI as capable at program verification as it is at writing Python. I'd love to hear about what y'all's biggest bottlenecks are in doing production-grade software verification in Lean