Your Code Has Bugs. Lean4 Has Proofs. A Practical Guide to Formal Verification for Engineers
Official Schedule Context
- Date/time: 2026-06-30 · 11:40am-12:00pm
- Track/room: AI-Native Enterprises · Leadership 1
- Speaker(s): Varun Pant
- Session type/status: session · confirmed
Official Description
AI is generating more of your code than ever — how do you prove it doesn't ship bugs? Lean is a
theorem prover that's also a programming language, and it's quietly becoming practical for verifying
real software. In this talk, I'll show you how formal verification works — some examples of proof
tactics, and a practical framework for when to verify vs. test
Related YouTube Video
No related AI Engineer channel video found yet.
Transcript Status
No official session recording transcript was found by exact title match on the AI Engineer YouTube channel during this run.
People
Notes
- Pending transcript synthesis when an official recording or confirmed matching video is available.