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
New Method for Analyzing The Hole-Structure of a Crystal: Merge Trees of Periodic Filtrations
Presenter
- Teresa Heiss
April 11, 2025
ICERM
Generalization of quad-mesh rigid origami and its convergence to smooth surfaces: beyond V-hedra and T-hedra
Presenter
- Zeyuan He
April 11, 2025
ICERM