Seminar

Monte Carlo Tree Search for Theorem Proving

Speaker
Fred Rajasekaran (Stanford)
Date
Wed, May 27 2026, 1:30pm
Location
384H
red knot logo

In this talk I will present the Monte Carlo Tree Search algorithm and how it was used by Deepmind's AlphaZero. After reviewing the basic algorithms, I will discuss how they are modified in order to prove theorems in Lean.