Start date cannot be after end date.
Reflections on my original design goals for Ext and how it turned out
Presenter
- Hood Chatham
June 26, 2026
ICERM
Machine computation of the equivariant slice spectral sequence
Presenter
- Danny Shi
June 24, 2026
ICERM
Homotopy Continuation Techniques for Optimization in Variational Inference
Presenter
- Emma Cobian
December 15, 2023
IMSI
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM