Paper
in
Workshop: Security and Safety in Machine Learning Systems

Speeding Up Neural Network Verification via Automated Algorithm Configuration

Matthias K├Ânig

Abstract: