---
title: "Varun Pant"
category: "people"
role: "Builder, NeuroSymbolic AI"
company: "AWS"
linkedin: "https://www.linkedin.com/in/varunp1/"
twitter: "https://x.com/varun_pant_"
sourceLabels: ["Official speaker roster", "Official conference schedule"]
---
# Varun Pant

## Profile
Builder, NeuroSymbolic AI at [[aws|AWS]].

- [LinkedIn](https://www.linkedin.com/in/varunp1/)
- [X / Twitter](https://x.com/varun_pant_)

## Biography
Builds AI products at [[aws|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
- [[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]]

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