Simons Institute Colloquium

Simons Institute for the Theory of Computing

Simons Institute (UC Berkeley)

1 standalone talk · 1 total lecture · 1h recorded

Algorithms & Theoretical CS Mathematics

Standalone talks by Simons Institute Colloquium

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

Simons Institute Colloquium·Simons Institute (UC Berkeley)

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