General Cutting Planes for Bound-Propagation-Based Neural Network Verification (Q6407602)
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: General Cutting Planes for Bound-Propagation-Based Neural Network Verification |
preprint article from arXiv
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | General Cutting Planes for Bound-Propagation-Based Neural Network Verification |
preprint article from arXiv |
Statements
11 August 2022
0 references
cs.LG
0 references
cs.CR
0 references
cs.CV
0 references
math.OC
0 references
stat.ML
0 references
Huan Zhang
0 references
Shiqi Wang
0 references
Kaidi Xu
0 references
Linyi Li
0 references
Bo Li
0 references
Suman Jana
0 references
Cho-Jui Hsieh
0 references
J. Zico Kolter
0 references
