Branch and bound for piecewise linear neural network verification (Q4969086)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Branch and bound for piecewise linear neural network verification |
scientific article; zbMATH DE number 7255073
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Branch and bound for piecewise linear neural network verification |
scientific article; zbMATH DE number 7255073 |
Statements
5 October 2020
0 references
formal verification
0 references
branch and bound
0 references
ReLU branching
0 references
0 references
0 references
0.8136702179908752
0 references
0.8117377161979675
0 references
0.762609601020813
0 references
0.7552091479301453
0 references
0.7540698647499084
0 references
