Videos

Start date cannot be after end date.

Can we design deep learning models that are inherently interpretable?

Presenter
  • Cynthia Rudin
April 11, 2021
ICERM
How difficult is it to certify that a random 3SAT formula is unsatisfiable? Thumbnail

How difficult is it to certify that a random 3SAT formula is unsatisfiable?

Presenter
  • Toniann Pitassi
April 6, 2021
IAS
Webs in type C Thumbnail

Webs in type C

Presenter
  • Benjamin Elias
March 31, 2021
IAS
SU(n)–Casson invariants and symplectic geometry Thumbnail

SU(n)–Casson invariants and symplectic geometry

Presenter
  • Shaoyun Bai
March 26, 2021
IAS
How to allow deep learning on your data without revealing your data Thumbnail

How to allow deep learning on your data without revealing your data

Presenter
  • Sanjeev Arora
February 25, 2021
IPAM
Neural network verification as piecewise linear optimization Thumbnail

Neural network verification as piecewise linear optimization

Presenter
  • Joseph Huchette
February 23, 2021
IPAM
Large-scale electronic structure calculations Thumbnail

Large-scale electronic structure calculations

Presenter
  • Vikram Gavini
February 16, 2021
IMSI
Non-displaceable Lagrangian links in four-manifolds Thumbnail

Non-displaceable Lagrangian links in four-manifolds

Presenter
  • Cheuk Mak
February 12, 2021
IAS
Introduction to Smith theory Thumbnail

Introduction to Smith theory

Presenter
  • Tony Feng
January 13, 2021
IAS
The Attachments of 'Autonomous' Vehicles Thumbnail

The Attachments of 'Autonomous' Vehicles

Presenter
  • Jack Stilgoe
December 1, 2020
IPAM
Indistinguishability Obfuscation from Well-Founded Assumptions Thumbnail

Indistinguishability Obfuscation from Well-Founded Assumptions

Presenter
  • Huijia Lin
November 16, 2020
IAS
Arithmetic progressions and spectral structure Thumbnail

Arithmetic progressions and spectral structure

Presenter
  • Thomas Bloom
October 13, 2020
IAS