Start date cannot be after end date.
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
A mathematical analysis of GNoME and other materials databases
Presenter
- Vitaliy Kurlin
March 14, 2024
IMSI
A mathematical approach to some problems in neurobiology
Presenter
- Lai-Sang Young
January 31, 2022
IAS
Explicit numerical integrators that conserve energy or dissipate entropy
Presenter
- David Ketcheson
January 14, 2022
ICERM
Tutorial: Mathematical foundations of the signature
Presenters
- Terry Lyons
- Harald Oberhauser
July 6, 2021
ICERM
Multiscale mathematical approaches for translational mental health benefits
Presenter
- Michael Bonsall
February 21, 2020
IPAM
Using Mathematical Models to Conduct Cancer Clinical Trials
Presenter
- Avner Friedman
October 17, 2018
MBI
Hamiltonian Systems Topical Workshop 1 - Momentum maps for automorphism groups
Presenter
- Tudor Ratiu
October 11, 2018
SLMath
Developing Mathematical Models to Investigate Pathways Responsible for Protein Aggregation in Alzheimer's Disease
Presenter
- Lindsay Duvernoy
August 6, 2018
MBI