Mark Niklas Müller - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Registered user since Thu 3 Dec 2020

Name:Mark Niklas Müller

Country:Switzerland

Affiliation:ETH Zurich

Contributions

2022

POPL

PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

Show activities from other conferences

POPL 2022-profile
View general profile