Bin Dong | AI for Mathematics: From Digitization to Intelligentization

  Рет қаралды 87

Harvard CMSA

Harvard CMSA

Күн бұрын

Пікірлер
Eric Vanden Eijnden|Generative modeling w/flows & diffusions, w/applications to scientific computing
50:48
Eric Vanden Eijnden|Generative modeling w/flows & diffusions, w/applications to scientific computing
Harvard CMSA
Рет қаралды 119
Yang Hui He | AI assisted mathematics
1:02:01
Yang Hui He | AI assisted mathematics
Harvard CMSA
Рет қаралды 55
Disrespect or Respect 💔❤️
00:27
Disrespect or Respect 💔❤️
Thiago Productions
Рет қаралды 37 МЛН
Кто круче, как думаешь?
00:44
Кто круче, как думаешь?
МЯТНАЯ ФАНТА
Рет қаралды 3,3 МЛН
Еркектерге сенім жоқ екен | Сабина Мовлаева - Talk Like | Аман Тасыған
1:03:11
Еркектерге сенім жоқ екен | Сабина Мовлаева - Talk Like | Аман Тасыған
Аман Тасыған
Рет қаралды 387 М.
PIZZA or CHICKEN // Left or Right Challenge
00:18
PIZZA or CHICKEN // Left or Right Challenge
Hungry FAM
Рет қаралды 15 МЛН
Petros Koumoutsakos| Learning the effective dynamics of complex systems
30:10
Petros Koumoutsakos| Learning the effective dynamics of complex systems
Harvard CMSA
Рет қаралды 181
Cengiz Pehlevan | Solvable Models of Scaling and Emergence in Deep Learning
57:27
Cengiz Pehlevan | Solvable Models of Scaling and Emergence in Deep Learning
Harvard CMSA
Рет қаралды 273
James Halverson | Learning the Topological Invariance of Knots
55:31
James Halverson | Learning the Topological Invariance of Knots
Harvard CMSA
Рет қаралды 121
MIT EECS introduces 6-5 Electrical Engineering With Computing
7:16
MIT EECS introduces 6-5 Electrical Engineering With Computing
MIT EECS
Рет қаралды 18 М.
Matej Balog | FunSearch: Mathematical discoveries from program search with large language models
27:01
Matej Balog | FunSearch: Mathematical discoveries from program search with large language models
Harvard CMSA
Рет қаралды 60
Amaury Hayat, Melanie Wood, Alex Davies, Jeremy Avigad | Machine learning and theorem proving
56:44
Amaury Hayat, Melanie Wood, Alex Davies, Jeremy Avigad | Machine learning and theorem proving
Harvard CMSA
Рет қаралды 63
Dylan Foster | Is Behavior Cloning All You Need? Understanding Horizon in Imitation Learning
1:02:15
Dylan Foster | Is Behavior Cloning All You Need? Understanding Horizon in Imitation Learning
Harvard CMSA
Рет қаралды 174
Kyu-Hwan Lee | Discovering New Mathematical Structures with Machine Learning
59:05
Kyu-Hwan Lee | Discovering New Mathematical Structures with Machine Learning
Harvard CMSA
Рет қаралды 164
Fabian Ruehle | Rigorous results from ML using RL
31:46
Fabian Ruehle | Rigorous results from ML using RL
Harvard CMSA
Рет қаралды 834
NASA official Declared Most DIFFICULT Starship Mission Happen in MARCH 2025!
10:55
NASA official Declared Most DIFFICULT Starship Mission Happen in MARCH 2025!
GREAT SPACEX
Рет қаралды 46 М.
Disrespect or Respect 💔❤️
00:27
Disrespect or Respect 💔❤️
Thiago Productions
Рет қаралды 37 МЛН