conftrace_

input-specific algorithm

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

quasiconvex optimization (1) certified radius (1) neural network (1) randomized smoothing (1) formal verification (1) certified robustness (1)

Papers

Towards Large Certified Radius in Randomized Smoothing Using Quasiconcave Optimization AAAI 2024