Overview
Syllabus
Giorgi Butbaia | Machine learning smooth 4-genus of a knot
Petros Koumoutsakos| Learning the effective dynamics of complex systems
Tristan Buckmaster | Singularities in fluids
James Halverson | Learning the Topological Invariance of Knots
Kyu-Hwan Lee | Discovering New Mathematical Structures with Machine Learning
Eric Vanden Eijnden|Generative modeling w/flows & diffusions, w/applications to scientific computing
Bin Dong | AI for Mathematics: From Digitization to Intelligentization
Stephane Mallat | Image Generation by Score Diffusion and the Renormalisation Group
Wagner et al. | Sparse subgraphs of the d-cube with diameter d
Angelica Babei | Learning Euler factors of elliptic curves with transformers
Yang Hui He | AI assisted mathematics
Edgar Costa | Machine learning L-functions
Matej Balog | FunSearch: Mathematical discoveries from program search with large language models
Cengiz Pehlevan | Solvable Models of Scaling and Emergence in Deep Learning
Fabian Ruehle | Rigorous results from ML using RL
Ankit Anand and Abbas Mehrabian | From Theorem Proving to Disproving
Jürgen Jost | Data visualization with category theory and geometry
Taught by
Harvard CMSA