Müller, M. N., Makarchuk, G., Singh, G., Püschel, M., & Vechev, M. (2022). PRIMA: General and precise neural network certification via scalable convex hull approximations. Proceedings of ACM on programming languages, 6(POPL), 1-33. https://doi.org/10.1145/3498704
Chicago-Zitierstil (17. Ausg.)Müller, Mark Niklas, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, und Martin Vechev. "PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations." Proceedings of ACM on Programming Languages 6, no. POPL (2022): 1-33. https://doi.org/10.1145/3498704.
MLA-Zitierstil (9. Ausg.)Müller, Mark Niklas, et al. "PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations." Proceedings of ACM on Programming Languages, vol. 6, no. POPL, 2022, pp. 1-33, https://doi.org/10.1145/3498704.