Videos

Start date cannot be after end date.

Neural net word embeddings: What was old is new again

Presenter
  • Jeremy Bellay
October 6, 2017
IMA
Exotic Spheres from p-adic Cohomology Theories Thumbnail

Exotic Spheres from p-adic Cohomology Theories

Presenter
  • Jeremy Hahn
November 17, 2023
IAS
Formalization Of Mathematics Summer School: Formalizing Blockchain Computations Thumbnail

Formalization Of Mathematics Summer School: Formalizing Blockchain Computations

Presenter
  • Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation Thumbnail

Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation

Presenter
  • Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: What Meta-Programming Means and Looks Like Thumbnail

Formalization Of Mathematics Summer School: What Meta-Programming Means and Looks Like

Presenter
  • Jeremy Avigad
June 7, 2023
SLMath
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL) Thumbnail

Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL)

Presenter
  • Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL) Thumbnail

Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL)

Presenter
  • Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Lecture and Discussion Thumbnail

Formalization Of Mathematics Summer School: Lecture and Discussion

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean Thumbnail

Formalization Of Mathematics Summer School: Installing Lean

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath

Logic

Presenter
  • Jeremy Avigad
July 12, 2022
ICERM

Organizer Welcome / Introduction to Lean

Presenter
  • Jeremy Avigad
July 11, 2022
ICERM

Algebraic singular fibers from the symplectic perspective

Presenter
  • Jeremy Van Horn-Morris
April 25, 2022
ICERM