Gagandeep Singh, Timon Gehr, Markus Püschel, Martin T. Vechev
An abstract domain for certifying neural networks
POPL, 2019.
@article{POPL-2019-SinghGPV,
author = "Gagandeep Singh and Timon Gehr and Markus Püschel and Martin T. Vechev",
doi = "10.1145/3290354",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "30",
publisher = "{ACM}",
title = "{An abstract domain for certifying neural networks}",
volume = 3,
year = 2019,
}