Varun Pant

Varun Pant is scheduled to speak at NeurIPS on 12 December 2026.

Compiled from published conference agendas; not yet confirmed by Varun. Is this you? Claim this profile.

Upcoming

NeurIPS 9 December 2026 – 12 December 2026

• AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics Host · 12 December 2026

Spoke alongside

People who have shared a session with Varun at events on B2DB.

• Amanda Liu 1 shared session
• Baishakhi Ray 1 shared session
• Emily First 1 shared session
• Hakjoo Oh 1 shared session
• Jacqueline Mitchell 1 shared session
• Jialin Lu 1 shared session
• Jingxuan He 1 shared session
• Leonardo de Moura 1 shared session
• Shan Lu 1 shared session
• Simon Frieder 1 shared session
• Soonho Kong 1 shared session
• Vijay Ganesh 1 shared session

and 3 more people