Mark Niklas Müller

PRIMA: general and precise neural network certification via scalable convex hull approximations

Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh et al. · Proceedings of the ACM on Programming Languages · 2022 · 67 citations · Full text

Computing, Autonomous Systems, Computer Science +16

First three years of the international verification of neural networks competition (VNN-COMP)

Christopher Brix, Mark Niklas Müller, Stanley Bak et al. · International Journal on Software Tools for Technology Transfer · 2023 · 56 citations · Full text

Computing, Autonomous Systems, Computer Science +11

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Mark Niklas Müller, Christopher Brix, Stanley Bak et al. · arXiv (Cornell University) · 2022 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +10

Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

Claudio Ferrari, Mark Niklas Müller, Nikola Jovanović et al. · arXiv (Cornell University) · 2022 · 21 citations · Full text

Computing, Computer Engineering, Computer Science +12

PRIMA: Precise and General Neural Network Certification via Multi-Neuron Convex Relaxations

Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh et al. · arXiv (Cornell University) · 2021 · 13 citations · Full text

Computing, Autonomous Systems, Computer Science +15