conftrace_

convex barrier

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

dual solver (1) neural network verification (1) linear programming (1) formal verification (1)

Papers

Scaling the Convex Barrier with Active Sets ICLR 2021