Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mark Niklas Müller
conf.researchr.org general profile
PLDI 2023 profile
POPL 2022 profile
Registered user since Thu 3 Dec 2020
Name:
Mark Niklas Müller
Contributions
2023
PLDI
Author of Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks within the PLDI Research Papers-track
2022
POPL
Author of PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations within the POPL-track
Share
x
Sun 22 Dec 11:38