Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks

17 November 2021

Papers citing "Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks"

9 / 9 papers shown

Title
Towards a Certified Proof Checker for Deep Neural Network Verification Remi Desmartin Omri Isac Grant Passmore Kathrin Stark Guy Katz Ekaterina Komendantskaya 16 6 0 12 Jul 2023
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks Vineel Nagisetty Laura Graves Guanting Pan Piyush Jha Vijay Ganesh AAML OOD 20 1 0 04 Apr 2023
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results Mark Niklas Muller Christopher Brix Stanley Bak Changliu Liu Taylor T. Johnson NAI 29 43 0 20 Dec 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 43 11 0 11 Oct 2022
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers James Ferlez Yasser Shoukry 12 1 0 20 Sep 2022
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing Ulices Santa Cruz Yasser Shoukry 11 28 0 29 Mar 2022
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers Ulices Santa Cruz James Ferlez Yasser Shoukry 16 9 0 06 Apr 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 83 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017