Enhancing Neural Network Robustness via Synthesis of Repair Programs
Abstract elided by the publisher.
Related papers
- NNrepair: Constraint-Based Repair of Neural Network Classifiers CAV 2021
- Robustness Verification of Support Vector Machines SAS 2019
- Provable repair of deep neural networks PLDI 2021
- Robustness Verification of Multi-label Neural Network Classifiers SAS 2024
- Architecture-Preserving Provable Repair of Deep Neural Networks PLDI 2023
- Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization VMCAI 2023
- ARENA: Enhancing Abstract Refinement for Neural Network Verification VMCAI 2023
- Optimization and abstraction: a synergistic approach for analyzing neural network robustness PLDI 2019