Start date cannot be after end date.
Jarrod McClean - Dequantization and quantum advantage in learning from experiments
Presenter
- Jarrod McClean
January 25, 2022
IPAM
A Framework for Generalization Analysis of Machine-Learned Interatomic Potentials: A Case Study on Crystalline Defects
Presenter
- Yangshuai Wang
April 9, 2024
IMSI
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Presenter
- Petra Hozzova
February 17, 2023
IPAM
Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Presenter
- Johnathan Hanke
February 17, 2023
IPAM
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
Presenter
- Heather Macbeth
February 17, 2023
IPAM
James Davenport - How to prove a calculation correct? - IPAM at UCLA
Presenter
- James Davenport
February 16, 2023
IPAM
Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory
Presenter
- Maria Maria Ines de Frutos Fernandez
February 16, 2023
IPAM
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq
Presenter
- Micaela Mayero
February 15, 2023
IPAM
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Presenter
- Patrick Massot
February 15, 2023
IPAM
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
Presenter
- Tony Wu
February 15, 2023
IPAM
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM