Varun Pant
Official Role
Builder, NeuroSymbolic AI at AWS.
Official Bio
Builds AI products at AWS, currently neurosymbolic AI.
Scheduled 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)