Start date cannot be after end date.
Machine Learning Summer School: Theoretical and Methodological Aspects of Deep Learning
Presenters
- Mikhail Belkin
- Lily Weng
June 27, 2023
SLMath
Machine Learning Summer School: Geometrical and Topological Data Analysis
Presenters
- Ery Arias-Castro
- Yusu Wang
June 27, 2023
SLMath
Machine Learning Summer School: Geometrical and Topological Data Analysis
Presenters
- Ery Arias-Castro
- Yusu Wang
June 26, 2023
SLMath
Machine learning constitutive models of inelastic materials with microstructure
Presenter
- Reese Jones
June 6, 2023
ICERM
Machine-Learned Finite Element Exterior Calculus for Linear and Nonlinear Problems
Presenter
- Jonas Actor
June 6, 2023
ICERM
Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA
Presenter
- Jason Rute
February 16, 2023
IPAM
Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA
Presenter
- Pascal Fontaine
February 16, 2023
IPAM
James Davenport - How to prove a calculation correct? - IPAM at UCLA
Presenter
- James Davenport
February 16, 2023
IPAM
Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory
Presenter
- Maria Maria Ines de Frutos Fernandez
February 16, 2023
IPAM