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

First Author: Bunel R.

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 21

Parent Publication: Journal of Machine Learning Research

ISSN: 15337928 15324435