Reachability Analysis for Feed-Forward Neural Networks using Face
Lattices

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices

2 March 2020

Hoang-Dung Tran

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

10 / 10 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 91 32 0 29 Apr 2023
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning Yue Meng Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 23 5 0 16 Sep 2022
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 74 19 0 14 Sep 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 28 55 0 06 Apr 2021
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 27 237 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 12 127 0 12 Apr 2020
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 14 390 0 15 Mar 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 78 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 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016