conf.researchr.org / Mark Niklas Müller
Registered user since Thu 3 Dec 2020
Name:Mark Niklas Müller
Contributions
| POPL 2022 | Author of PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations within the POPL-track |