robustness verification

Parameterized Abstract Interpretation for Transformer Verification AAAI 2026 Privacy-Preserving Robustness Verification for Neural Networks UAI 2026 SMiLE: Provably Enforcing Global Relational Properties in Neural Networks AAAI 2026 Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification AAAI 2026 Verifying Neural Network Robustness with Dual Perturbations CVPR 2026 Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification AAAI 2025 Sensitivity Verification for Additive Decision Tree Ensembles ICLR 2025 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 Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing AAAI 2024 Interpreting Robustness Proofs of Deep Neural Networks ICLR 2024 Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales 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 TTTS: Tree Test Time Simulation for Enhancing Decision Tree Robustness against Adversarial Examples AAAI 2024 Understanding Certified Training with Interval Bound Propagation ICLR 2024 VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch AAAI 2024 Convex Bounds on the Softmax Function with Applications to Robustness Verification AISTATS 2023 Efficient Certified Training and Robustness Verification of Neural ODEs ICLR 2023 RVCL: Evaluating the Robustness of Contrastive Learning via Verification JMLR 2023 TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees ACL 2023 TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models ICCV 2023 Adversarial Robustness Guarantees for Gaussian Processes JMLR 2022 Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach L4DC 2022