Start date cannot be after end date.
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
Marc Lackenby - Using machine learning to formulate mathematical conjectures - IPAM at UCLA
Presenter
- Marc Lackenby
February 14, 2023
IPAM
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Presenter
- Benedikt Ahrens
February 13, 2023
IPAM
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
Presenter
- Andrej Bauer
February 13, 2023
IPAM
Maxim Ziatdinov - Bits and Atoms: Exploring the Intersection of Machine Learning and Microscopy
Presenter
- Maxim Ziatdinov
January 27, 2023
IPAM
Anatole von Lilienfeld - Go EAST, young scientist - First principles view on chemical compound space
Presenter
- Anatole von Lilienfeld
January 27, 2023
IPAM
Bruno Correia - Exploring new molecular representations for the design of biological function
Presenter
- Bruno Correia
January 26, 2023
IPAM
Tess Smidt - Learning how to break symmetry with symmetry-preserving neural networks - IPAM at UCLA
Presenter
- Tess Smidt
January 26, 2023
IPAM
Xavier Bresson - Graph MLP-Mixer for Molecular Analysis - IPAM at UCLA
Presenter
- Xavier Bresson
January 25, 2023
IPAM
Steve Brunton - Machine Learning for Scientific Discovery, with Examples in Fluid Mechanics
Presenter
- Steve Brunton
January 24, 2023
IPAM
Rafael Gomez Bombarelli - End-to-end learning and auto-differentiation: forces, uncertainties, etc.
Presenter
- Rafael Gomez-Bombarelli
January 24, 2023
IPAM