conftrace_

milp optimization

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

complete verification (1) relu neural network (1) neural network verification (1) branch and bound (1)

Papers

Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021