Start date cannot be after end date.
Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA
Presenter
- Haniel Barbosa
February 14, 2023
IPAM
Anne Baanen - Computing with or despite the computer - IPAM at UCLA
Presenter
- Anne Baanen
February 14, 2023
IPAM
John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective
Presenter
- John Harrison
February 13, 2023
IPAM
Geordie Williamson - What can the working mathematician expect from deep learning? - IPAM at UCLA
Presenter
- Geordie Williamson
February 13, 2023
IPAM
Jutta Rogal - Machine learning collective variables for sampling of structural transformations
Presenter
- Jutta Rogal
January 26, 2023
IPAM
Kyle Cranmer - Connections and cross pollination from quarks to the cosmos - IPAM at UCLA
Presenter
- Kyle Cranmer
January 26, 2023
IPAM
Rose Yu - Incorporating Symmetry for Learning Spatiotemporal Dynamics - IPAM at UCLA
Presenter
- Rose Yu
January 26, 2023
IPAM
Stefan Chmiela - Accurate global machine learning force fields for molecules with hundreds of atoms
Presenter
- Stefan Chmiela
January 25, 2023
IPAM
Kyunghyun Cho - Lab-in-the-loop de novo antibody design - what are we missing from machine learning?
Presenter
- Kyunghyun Cho
January 25, 2023
IPAM
Patrick Riley - Symbolic Regression for Discovery of a DFT Functional - IPAM at UCLA
Presenter
- Patrick Riley
January 23, 2023
IPAM
Mohammed AlQuraishi - OpenFold: Lessons and insights from rebuilding and retraining AlphaFold2
Presenter
- Mohammed AlQuraishi
January 23, 2023
IPAM
Payel Das - Design and Evaluation of Foundation Models and Generative AI in Molecular Space
Presenter
- Payel Das
January 23, 2023
IPAM