Start date cannot be after end date.
Marc Lackenby - Using machine learning to formulate mathematical conjectures - IPAM at UCLA
Presenter
- Marc Lackenby
February 14, 2023
IPAM
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Adam Wagner - Finding counterexamples to conjectures via reinforcement learning - IPAM at UCLA
Presenter
- Adam Wagner
February 14, 2023
IPAM
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
Adam Topaz - The Liquid Tensor Experiment - IPAM at UCLA
Presenter
- Adam Topaz
February 13, 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
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
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