Geometric Path Enumeration for Equivalence Verification of Neural Networks

13 December 2021

Papers citing "Geometric Path Enumeration for Equivalence Verification of Neural Networks"

9 / 9 papers shown

Title
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 68 0 0 26 Oct 2024
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation Brandon Paulsen Jingbo Wang Jiawei Wang Chao Wang 62 36 0 21 Sep 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 113 53 0 10 Jan 2020
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 65 404 0 19 Sep 2018
A Survey of Model Compression and Acceleration for Deep Neural Networks Yu Cheng Duo Wang Pan Zhou Zhang Tao 72 1,095 0 23 Oct 2017
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 64 217 0 19 Sep 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 315 1,867 0 03 Feb 2017
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 100 4,167 0 25 Apr 2016
Distilling the Knowledge in a Neural Network Geoffrey E. Hinton Oriol Vinyals J. Dean FedML 344 19,643 0 09 Mar 2015