conftrace_

formal certification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural network (1) bound propagation (1) reachability analysis (1) interval analysis (1) neural network certification (1) bernstein polynomial (1) interval bound propagation (1) formal verification (1) adversarial robustness (1)

Papers

DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024