Start date cannot be after end date.
Bistra Dilkina - Machine Learning for MIP Solving - IPAM at UCLA
Presenter
- Bistra Dilkina
February 27, 2023
IPAM
Vinod Nair - Restricted Boltzmann Machines for Maximum Satisfiability - IPAM at UCLA
Presenter
- Vinod Nair
February 27, 2023
IPAM
Matej Balog - AlphaTensor: Discover faster matrix multiplication algorithms with RL - IPAM at UCLA
Presenter
- Matej Balog
February 27, 2023
IPAM
Xavier Bresson - Learning to Untangle Genome Assembly Graphs - IPAM at UCLA
Presenter
- Xavier Bresson
February 27, 2023
IPAM
Bill Fefferman - On "Experimental" Complexity Theory - IPAM at UCLA
Presenter
- Bill Fefferman
February 23, 2023
IPAM
Jens Palsberg - Introduction to Quantum Algorithms - IPAM at UCLA
Presenter
- Jens Palsberg
February 22, 2023
IPAM
Bobak Toussi Kiani - Quantum Machine Learning - IPAM at UCLA
Presenter
- Bobak Toussi Kiani
February 22, 2023
IPAM
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Presenter
- Petra Hozzova
February 17, 2023
IPAM
Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Presenter
- Johnathan Hanke
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