LipBaB: Computing exact Lipschitz constant of ReLU networks

12 May 2021

Papers citing "LipBaB: Computing exact Lipschitz constant of ReLU networks"

4 / 4 papers shown

Title
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 20 0 0 23 Aug 2023
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks Can Zhou R. A. Shaikh Yiran Li Amin Farjudian OOD 41 4 0 01 Mar 2022
An automatic differentiation system for the age of differential privacy Dmitrii Usynin Alexander Ziller Moritz Knolle Andrew Trask Kritika Prakash Daniel Rueckert Georgios Kaissis 35 3 0 22 Sep 2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus T. Henzinger S. Smolka Radu Grosu 26 17 0 18 Jul 2021