Dan Spielman

Faculty & Visiting Speaker, UC Berkeley

UC Berkeley

1 standalone talk · 1 total lecture · 1h recorded

Co-taught withNikhil SrivastavaVenkat Guruswami

Algorithms & Theoretical CS Mathematics

Standalone talks by Dan Spielman

Self-contained public lectures, keynote addresses, and research seminars.

Automated Reasoning, Formal Proof Assistants & Frontier Research Mathematics

4 ch32:30

Theory & Algos·Research Seminar

Automated Reasoning, Formal Proof Assistants & Frontier Research Mathematics

Dan Spielman&Nikhil Srivastava·UC Berkeley

UC Berkeley Simons Institute session examining formal verification (Lean), neuro-symbolic theorem proving, and where frontier mathematical discovery differs from contest benchmarks.