Start date cannot be after end date.
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
Presenter
- Andrej Bauer
February 13, 2023
IPAM
Optimal Mass Transport in Medical Imaging Computation
Presenter
- Allen Tannenbaum
October 15, 2013
SLMath
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
Presenter
- Tony Wu
February 15, 2023
IPAM
Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Presenter
- Johnathan Hanke
February 17, 2023
IPAM
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
Sparse sampling methods for large scale experimental data
Presenter
- Rick Archibald
January 30, 2017
IPAM
Team 3: Materials Modeling: Shear Band Formation in Bulk Metallic Glasses
Presenter
- Timothy Burns
August 7, 2013
IMA
A Sheaf Theoretic Modeling and Composition Framework for Complex Systems of Systems: Application to the Traffic Collision Avoidance
Presenter
- Alberto Speranzon
February 3, 2017
IMA