• Sign in
  • Sign up
conf.researchr.org / Mark Niklas Müller
  • 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
xMon 16 Jun 17:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up