Start date cannot be after end date.
Proofs, Circuits, Communication, and Lower Bounds in Complexity Theory
Presenter
- Robert Robere
February 11, 2020
IAS
Proofs, Circuits, Communication, and Lower Bounds in Complexity Theory
Presenter
- Robert Robere
February 4, 2020
IAS
Amortized circuit complexity, formal complexity measures, and catalytic algorithms
Presenter
- Jeroen Zuiddam
March 23, 2021
IAS
Novel Patterns and Dopamine Modulation in a Model of Working Memory
Presenters
- Robert McDougal
- Robert McDougal
August 30, 2011
MBI
The Polar Express: Optimal Matrix Sign Methods and Their Application to the Muon Algorithm
Presenter
- Robert Gower
February 6, 2026
ICERM
Everything is Vecchia: Unifying low-rank and sparse inverse approximations
Presenter
- Robert Webber
February 5, 2026
ICERM
Localized Model Order Reduction via Multiscale Spectral Generalised Finite Elements
Presenter
- Robert Scheichl
November 11, 2025
IMSI
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM