Events Search and Views Navigation

Event Views Navigation

Today

NTM 11.08.2023

Peano: Learning Formal Mathematical Reasoning Without Human Data

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

https://youtu.be/a2S_-pl6onM New Technologies in Mathematics Seminar Speaker: Gabriel Poesia, Dept. of Computer Science, Stanford University Title: Peano: Learning Formal Mathematical Reasoning Without Human Data Abstract: Peano is a theorem proving […]

Fitting ellipsoids to random points

Virtual

Probability Seminar Speaker: Antoine Maillard (ETH Zürich) Title: Fitting ellipsoids to random points Abstract: We consider the problem of exactly fitting an ellipsoid (centered at 0) to n standard Gaussian random […]