ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks

17 July 2019

Papers citing "ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks"

3 / 3 papers shown

Title
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 78 0 0 22 Jan 2025
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 13 2 0 02 Mar 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017