Start date cannot be after end date.
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Presenter
- Petra Hozzova
February 17, 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
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