Safe Predictors for Enforcing Input-Output Specifications

Stephen Mell, Olivia Brown, Justin Goodwin +1

We present an approach for designing correct-by-construction neural networks (and other machine learning models) that are guaranteed to be consistent with a collection of input-out…