Start date cannot be after end date.
Matej Balog - AlphaTensor: Discover faster matrix multiplication algorithms with RL - IPAM at UCLA
Presenter
- Matej Balog
February 27, 2023
IPAM
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Presenter
- Petra Hozzova
February 17, 2023
IPAM
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
Presenter
- Heather Macbeth
February 17, 2023
IPAM
Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA
Presenter
- Jason Rute
February 16, 2023
IPAM
James Davenport - How to prove a calculation correct? - IPAM at UCLA
Presenter
- James Davenport
February 16, 2023
IPAM
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Presenter
- Benedikt Ahrens
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
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