Videos

Start date cannot be after end date.
MSRI / SLMath 40th Anniversary Symposium: Machine Assisted Proofs Thumbnail

MSRI / SLMath 40th Anniversary Symposium: Machine Assisted Proofs

Presenter
  • Terence Tao
April 13, 2023
SLMath
Melanie Mitchell - Abstraction and Analogy in Artificial Intelligence Thumbnail

Melanie Mitchell - Abstraction and Analogy in Artificial Intelligence

Presenter
  • Melanie Mitchell
February 15, 2022
IPAM