Towards Verification of General Neural Networks: A Dual Approach
2,231 views · Published 4 May 2018 · 41:34 · Indexed 18 October 2026
Channel: Simons Institute for the Theory of Computing · 2018 · Education
Krishnamurthy Dvijotham, Deepmind https://simons.berkeley.edu/talks/krishnamurthy-dvijotham-5-3-18 Mathematical and Computational Challenges in Real-Time Decision Making
More from this channel
-
35:16
Probabilistic Polynomials and Hamming Nearest Neighbors
-
15:16
Addition is Exponentially Harder than Counting for Shallow Monotone Circuits
-
55:22
Thinking Algorithmically About Impossibility
-
27:28
The Query Complexity of Correlated Equilibria
-
31:37
Robustness and Separation in Multidimensional Mechanism Design
-
33:01
Revenue Maximization in Interdependent Value Settings
-
34:31
Algorithmic Bayesian Mechanism Design
-
37:51
On Maximizing Revenue for Multi-Item Auctions