Self-Correcting Neural Networks For Safe Classification

23 July 2021

Papers citing "Self-Correcting Neural Networks For Safe Classification"

4 / 4 papers shown

Title
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 29 2 0 02 Mar 2023
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016