Emily First

Emily First is scheduled to speak at NeurIPS on 12 December 2026.

Compiled from published conference agendas; not yet confirmed by Emily. 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 Speaker · 12 December 2026

Spoke alongside

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

• Amanda Liu 1 shared session
• Baishakhi Ray 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
• Varun Pant 1 shared session
• Vijay Ganesh 1 shared session

and 3 more people