Start date cannot be after end date.
How difficult is it to certify that a random 3SAT formula is unsatisfiable?
Presenter
- Toniann Pitassi
April 6, 2021
IAS
Phase transitions in the complexity of simulating random shallow quantum circuits
Presenter
- Aram Harrow
April 1, 2021
IPAM
Exact Combinatorial Optimization with Graph Convolutional Neural Networks
Presenter
- Laurent Charlin
February 24, 2021
IPAM
On Sparse Linear Programming and (simple) neural networks
Presenter
- Joan Bruna
February 24, 2021
IPAM
The Transformer Network for the Traveling Salesman Problem
Presenter
- Xavier Bresson
February 22, 2021
IPAM
Metric embeddings, uniform rectifiability, and the Sparsest Cut problem
Presenter
- Robert Young
November 2, 2020
IAS
Dealing with COVID-19 in Theory and Practice: Session II: Data Science I
Presenters
- Mihaela van der Schaar
- Michael Jordan
October 29, 2020
IMSI
Set-Based Hybrid Predictive Control for Collision Detection and Evasion in Autonomous Vehicles
Presenter
- Ricardo Sanfelice
October 26, 2020
IPAM
Certifiable Perception for Robots and Autonomous Vehicles: From Robust Algorithms to Robust Systems
Presenter
- Luca Carlone
October 26, 2020
IPAM