Old Web
English
Sign In
Acemap
>
Paper
>
PRIMA: general and precise neural network certification via scalable convex hull approximations.
PRIMA: general and precise neural network certification via scalable convex hull approximations.
2022
Mark Niklas Müller
Gleb Makarchuk
Gagandeep Singh
Markus Püschel
Martin T. Vechev
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]