Towards Verification of General Neural Networks: A Dual Approach

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=rawUPGSHSUw


Duration: 41:34
1,997 views
31

Krishnamurthy Dvijotham, Deepmind
https://simons.berkeley.edu/talks/krishnamurthy-dvijotham-5-3-18
Mathematical and Computational Challenges in Real-Time Decision Making



Other Videos By Simons Institute for the Theory of Computing


2018-06-11Simulating Chemistry on Realistic Quantum Computers
2018-06-11Classical Approaches to Simulating Quantum Chemistry
2018-06-11Recent Advances in Quantum Simulation
2018-06-11Classical Simulation of Quantum Many-body Systems with Tensor Networks
2018-06-08A Conversation about (Science) Communication
2018-05-08Fixing Urban Congestion with Dollars and Data
2018-05-08AI Aspirations and Advances
2018-05-04Active Regression via Linear-Sample Sparsification
2018-05-04Integrating Functions via Distance Sensitive Hashing
2018-05-04Relative Error Tensor Low Rank Approximation
2018-05-03Towards Verification of General Neural Networks: A Dual Approach
2018-05-03Mergeable Summaries and the Data Sketches Library
2018-05-03A Bayesian Approach to Online Resource Allocation
2018-05-03Limited Communication Gradient Methods for Distributed Resource Allocation Optimization
2018-05-03Regularization, Perturbations, and Stability in Online Learning
2018-05-02Learning What Works Best When
2018-05-02Broadcasting on Directed Acyclic Graphs
2018-05-02Rerouting Flows when Links Fail
2018-05-01An Informational Perspective on Uncertainty in Control
2018-05-01Exact Minimum Number of Bits to Stabilize a Linear System
2018-05-01Self-Programming Networks: Network Clock Synchronization, Event Playback and Real-time Action


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Mathematical and Computational Challenges in Real-Time Decision Making
Krishnamurthy Dvijotham