Start date cannot be after end date.
Pascal Van Hentenryck - Fusing Machine Learning and Optimization - IPAM at UCLA
Presenter
- Pascal Van Hentenryck
March 1, 2023
IPAM
Timo Berthold - Machine Learning inside MIP solvers - IPAM at UCLA
Presenter
- Timo Berthold
March 1, 2023
IPAM
Ellen Vitercik - Leveraging Reviews: Learning to Price with Buyer and Seller Uncertainty
Presenter
- Ellen Vitercik
February 28, 2023
IPAM
Thomas Laurent - Feature Learning and Generalization on a Discrete Data Model - IPAM at UCLA
Presenter
- Thomas Laurent
February 28, 2023
IPAM
Andrea Lodi - Continuous cutting plane algorithms in integer programming - IPAM at UCLA
Presenter
- Andrea Lodi
February 27, 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
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq
Presenter
- Micaela Mayero
February 15, 2023
IPAM
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Presenter
- Patrick Massot
February 15, 2023
IPAM