conftrace_

complete verification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network verification (2) milp optimization (1) symbolic interval propagation (1) relu neural network (1) relu network (1) linear programming (1) branch and bound (1) formal verification (1)

Papers

DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021 Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021