Talks Packs Speakers Topics Conferences

Search the talks/

Speakers/Varun Pant

Varun Pant

1 talkvarun_pant_

Your Code Has Bugs. Lean4 Has Proofs: Formal Verification for EngineersVarun Pant, AWS · 10:07 · Aug 2026 · 7,046 views · AI Engineer World's Fair 2026

About llms.txt RSS Every page as Markdown MCP server Sister site: MLOps Talks

Summaries of talks from the AI Engineer YouTube channel. Built by the Kitaru team.