Stanford to Host SVIL Summit on Lean Software Verification

The SVIL conference on software verification with Lean, co-hosted by Beneficial AI Foundation and Lean FRO, will be held at Stanford on November 7, featuring a new roundtable on AI safety and formal verification amid rapid growth in Lean proofs.

2026-11-07 ~ 2026-11-07 · 2 related posts

• Lean Software Verification conference at Stanford adds AI safety roundtable with Tegmark and de Moura — ChrSzegedy · 2026-11-07
• Stanford SVIL: Lean proofs grew three orders of magnitude in a year as AI scales formal verification — AlexKontorovich · 2026-11-07