conftrace_

robustness verification

31 papers

Explore in graph

Co-occurring keywords

adversarial robustness (1341) formal verification (284) neural network verification (106) neural network (6616) adversarial attack (1621) adversarial example (564) linear approximation (19) linear programming (227) branch and bound (119) adversarial training (1262)

Papers

Parameterized Abstract Interpretation for Transformer Verification AAAI 2026
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks AAAI 2026
Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification AAAI 2026
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025
Towards a Unified View of Social Laws with Instantaneous Actions IJCAI 2025
Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels AAAI 2025
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification AAAI 2025
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales AAAI 2024
TTTS: Tree Test Time Simulation for Enhancing Decision Tree Robustness against Adversarial Examples AAAI 2024
Robustness Verification of Multi-Class Tree Ensembles AAAI 2024
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation CVPR 2024
VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch AAAI 2024
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing AAAI 2024
Convex Bounds on the Softmax Function with Applications to Robustness Verification AISTATS 2023
TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees ACL 2023
RVCL: Evaluating the Robustness of Contrastive Learning via Verification JMLR 2023
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models ICCV 2023
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach L4DC 2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022
Robustness Verification for Contrastive Learning ICML 2022
Adversarial Robustness Guarantees for Gaussian Processes JMLR 2022
Adversarial Training and Provable Robustness: A Tale of Two Objectives AAAI 2021
Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation AAAI 2021
Overcoming the Convex Barrier for Simplex Inputs NIPS 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NIPS 2021