Start date cannot be after end date.
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
Peierls-Nabarro potential for a confined chain of hard spheres under compression
Presenter
- Adil Mughal
April 10, 2025
ICERM
The Surprising Flexibility of n4 Configurations
Presenter
- Jurgen Richter-Gebert
April 10, 2025
ICERM