Markdown source

Varun Pant

Profile

Builder, NeuroSymbolic AI at AWS.

• LinkedIn
• X / Twitter

Biography

Builds AI products at AWS, currently neurosymbolic AI.

Conference Sessions

• 2026 06 30 varun pant your code has bugs lean4 has proofs a practical guide to formal verification for engineers — Your Code Has Bugs. Lean4 Has Proofs. A Practical Guide to Formal Verification for Engineers (2026-06-30, 11:40am-12:00pm)

Evidence Graph

This evidence graph summarizes how this person appears across the conference source graph: scheduled sessions, linked videos, transcripts, and slide-derived evidence.

Linked Sessions

• Your Code Has Bugs. Lean4 Has Proofs. A Practical Guide to Formal Verification for Engineers

Media Signals

No linked video, transcript, or slide source has been attached yet.