Mathematics
and Interactions

Fabian Glöckle

Ecole Nationale des Ponts et Chaussées et FAIR at Meta, Paris
FR

• One video
  

  53:39

  published on May 30, 2025

  Search, Reason or Recombine? Paradigms for Scaling Formal Proving

  By Fabian Glöckle