bound propagation

A GPU-based Constraint Programming Solver AAAI 2026 Efficiently Computing Compact Formal Explanations AAAI 2026 Tight Robustness Certification Through the Convex Hull of ℓ₀ Attacks AAAI 2026 Certification for Differentially Private Prediction in Gradient-Based Training ICML 2025 Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification AAAI 2025 SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming ICML 2025 DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024 Towards Efficient Verification of Quantized Neural Networks AAAI 2024 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming ICML 2023 CerDEQ: Certifiable Deep Equilibrium Model ICML 2022 Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation NeurIPS 2022 General Cutting Planes for Bound-Propagation-Based Neural Network Verification NeurIPS 2022 Zonotope Domains for Lagrangian Neural Network Verification NeurIPS 2022 Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NeurIPS 2021 Certification of iterative predictions in Bayesian neural networks UAI 2021 Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers ICLR 2021