Branch and bound for piecewise linear neural network verification (2020)

First Author: Bunel R.
Attributed to:  Seebibyte: Visual Search for the Era of Big Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 21

Parent Publication: Journal of Machine Learning Research

ISSN: 15337928 15324435