conftrace_

provable bound

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

linear relaxation (1) bilinear optimization (1) suboptimality bound (1) quantization robustness (1) robust subspace recovery (1) robust training (1) neural network verification (1) interval bound propagation (1) combinatorial search (1) subspace recovery (1)

Papers

Certifiably Quantisation-Robust training and inference of Neural Networks AISTATS 2025 Accelerated Combinatorial Search for Outlier Detection with Provable Bound on Sub-Optimality AAAI 2021 Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond NeurIPS 2020