Trusting AI with the Lean Theorem ProverDate: November 17, 2025Invited talk at the NVIDIA Formal Methods Week.Slides Previous Next
