PaRoT: A Practical Framework for Robust Deep Neural Network Training

7 January 2020

Edward W. Ayers

Francisco Eiras

Majd Hawasly

I. Whiteside

OOD

Papers citing "PaRoT: A Practical Framework for Robust Deep Neural Network Training"

2 / 2 papers shown

Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 34 1718 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 12 888 0 21 Oct 2016