A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks

17 August 2019

Papers citing "A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks"

3 / 3 papers shown

Title
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 32 12 0 22 Mar 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016