Verification of Neural Networks: Specifying Global Robustness using Generative Models

11 October 2019

Papers citing "Verification of Neural Networks: Specifying Global Robustness using Generative Models"

3 / 3 papers shown

Title
A Style-Based Generator Architecture for Generative Adversarial Networks Tero Karras S. Laine Timo Aila 312 10,391 0 12 Dec 2018
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