Start date cannot be after end date.
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Presenter
- Kaiyu Yang
April 26, 2025
ICERM
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Graph Induced Complex: A Data Sparsifier for Homology Inference
Presenter
- Tamal Dey
October 30, 2013
IMA
Anne Baanen - Computing with or despite the computer - IPAM at UCLA
Presenter
- Anne Baanen
February 14, 2023
IPAM
Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA
Presenter
- Haniel Barbosa
February 14, 2023
IPAM
Coboundary Expansion Inside Chevalley High-Dimensional Expanders
Presenter
- Ryan O'Donnell
May 5, 2025
IAS