Correctness Verification of Neural Networks

Yichen Yang, Martin Rinard
December 2019
PDF Code
Type
Conference paper
Publication
NeurIPS 2019 Workshop on Machine Learning with Guarantees