Start date cannot be after end date.
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Robert Ecke - Wall modes in rotating convection - Where do we stand? - IPAM at UCLA
Presenter
- Robert Ecke
January 30, 2025
IPAM
Robert Ecke - Tales of Rotating Thermal Convection - IPAM at UCLA
Presenter
- Robert Ecke
January 27, 2025
IPAM
The 3D Kinetic Couette Flow Via The Boltzmann Equation In The Diffusive Limit
Presenter
- Robert Strain
January 21, 2025
IAS
Robert Batterman - Deep Learning, Correlations, and the Statistics of Natural Images - IPAM at UCLA
Presenter
- Robert Batterman
November 22, 2024
IPAM
Error detection and error correction with superconducting dual rail cavity qubits
Presenter
- Robert Schoelkopf
November 11, 2024
IMSI
Strongly Invertible Knots, Khovanov Homotopy, and Localization
Presenter
- Robert Lipshitz
March 8, 2024
IAS