Guillaume Lample: Deep Learning for Symbolic Mathematics
Neural networks have a reputation for being better at solving statistical or approximate problems than at performing calculations or working with symbolic data. In this talk, we will show that they can be surprisingly good at more elaborated tasks in mathematics, such as symbolic integration and solving differential equations. We propose a syntax for representing mathematical problems, and methods for generating large datasets that can be used to train neural sequence-to-sequence models. We achieve results that outperform commercial Computer Algebra Systems such as Matlab or Mathematica.
Видео Guillaume Lample: Deep Learning for Symbolic Mathematics канала Oxford ML and Physics Seminars
Видео Guillaume Lample: Deep Learning for Symbolic Mathematics канала Oxford ML and Physics Seminars
Показать
Комментарии отсутствуют
Информация о видео
22 октября 2020 г. 21:37:24
00:59:49
Другие видео канала
![Mike Walmsley: Galaxy Zoo(m): Probabilistic Galaxy Morphology via Bayesian CNNs and Active Learning](https://i.ytimg.com/vi/RNiZMrjH9EI/default.jpg)
![Arvind Neelakantan: Text and Code Embeddings](https://i.ytimg.com/vi/W5KJkFYUEUk/default.jpg)
![Rachel Prudden: Probabilistic modelling for atmospheric science: beyond the noise](https://i.ytimg.com/vi/hRVqjOapj94/default.jpg)
![Ricardo Vinuesa: Artificial Intelligence, Computational Fluid Dynamics, and Sustainability](https://i.ytimg.com/vi/afO8e7knqD8/default.jpg)
![Atılım Güneş Baydin: Probabilistic Programming for Inverse Problems in the Physical Sciences](https://i.ytimg.com/vi/E3_Ey0z068o/default.jpg)
![Ard Louis: Deep neural networks have an inbuilt Occam’s razor](https://i.ytimg.com/vi/tzXhbZhNLoU/default.jpg)
![Brian Spears: Cognitive Simulation: combining simulation and experiment with artificial intelligence](https://i.ytimg.com/vi/oHMhxqkDegg/default.jpg)
![Eliu Huerta: AI for Science: Let’s talk business](https://i.ytimg.com/vi/lgmROvsz9WI/default.jpg)
![Ben Nachman: Extracting the most from collider data with deep learning](https://i.ytimg.com/vi/nrhu2rMK28c/default.jpg)
![Laure Zanna: Climate Modeling in the Age of Machine Learning](https://i.ytimg.com/vi/roOx01QmS20/default.jpg)
![Tim Green: Highly accurate protein structure prediction with AlphaFold](https://i.ytimg.com/vi/PqK1Oi9Pr10/default.jpg)
![Peter Dueben: Machine learning for weather predictions](https://i.ytimg.com/vi/V2JAaD-qx4U/default.jpg)
![David Spergel: Determining the Universe’s Initial Conditions](https://i.ytimg.com/vi/xYqN5dZjIQY/default.jpg)
![Adrien Gaidon: Self-supervised 3D vision](https://i.ytimg.com/vi/3YZNiM2l8Z0/default.jpg)
![Maurizio Pierini: Doing more with less: Deep Learning for Physics at the Large Hadron Collider](https://i.ytimg.com/vi/tzsNkhkaexE/default.jpg)
![Michael Kagan: Generative Model Based Design Optimization and Unfolding](https://i.ytimg.com/vi/Ytlb6ux9wMU/default.jpg)
![Séamus Davis: Machine learning in electronic-quantum-matter imaging experiments](https://i.ytimg.com/vi/hVwWQF2envw/default.jpg)
![Stéphane Mallat: Hamiltonian Estimations by Conditional Renormalisation Group and Convolution Nets](https://i.ytimg.com/vi/3LvWKwGQXPk/default.jpg)
![Phiala Shanahan: Provably exact sampling for first-principles theoretical physics](https://i.ytimg.com/vi/J2zpdmh0EOI/default.jpg)
![Jonas Buchli & Federico Felici: Magnetic control of tokamak plasmas with deep reinforcement learning](https://i.ytimg.com/vi/Oesjkp5tSkA/default.jpg)