%0 Journal Article %1 journals/pacmpl/MullerMSPV22 %A Müller, Mark Niklas %A Makarchuk, Gleb %A Singh, Gagandeep %A Püschel, Markus %A Vechev, Martin T. %D 2022 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-33 %T PRIMA: general and precise neural network certification via scalable convex hull approximations. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#MullerMSPV22 %V 6

@article{journals/pacmpl/MullerMSPV22, added-at = {2022-02-14T00:00:00.000+0100}, author = {Müller, Mark Niklas and Makarchuk, Gleb and Singh, Gagandeep and Püschel, Markus and Vechev, Martin T.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2053fe6212e4cf9260d8bc935517be8b0/dblp}, ee = {https://doi.org/10.1145/3498704}, interhash = {da6cc10bc069779c552e0e9dc2ab849b}, intrahash = {053fe6212e4cf9260d8bc935517be8b0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-33}, timestamp = {2022-03-01T06:21:01.000+0100}, title = {PRIMA: general and precise neural network certification via scalable convex hull approximations.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#MullerMSPV22}, volume = 6, year = 2022 }