Start date cannot be after end date.
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
An Euler System for the Symmetric Square of a Modular Form
Presenter
- Chris Skinner
February 16, 2023
IAS
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
Degenerate Dispersion and Illposedness for Generalized SQG Equations
Presenter
- In-Jee Jeong
February 15, 2023
IAS
Strong Stationarity and Multiplicative Functions
Presenter
- Nikos Frantzikinakis
February 15, 2023
IAS
Marc Lackenby - Using machine learning to formulate mathematical conjectures - IPAM at UCLA
Presenter
- Marc Lackenby
February 14, 2023
IPAM
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Adam Wagner - Finding counterexamples to conjectures via reinforcement learning - IPAM at UCLA
Presenter
- Adam Wagner
February 14, 2023
IPAM
Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA
Presenter
- Haniel Barbosa
February 14, 2023
IPAM
Anne Baanen - Computing with or despite the computer - IPAM at UCLA
Presenter
- Anne Baanen
February 14, 2023
IPAM