Reachability Analysis for Feed-Forward Neural Networks using Face Lattices

2 March 2020

Papers citing "Reachability Analysis for Feed-Forward Neural Networks using Face Lattices"

5 / 5 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 84 32 0 29 Apr 2023
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 16 55 0 06 Apr 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 66 289 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 216 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 166 883 0 21 Oct 2016