Avatar for Hendrik Baacke from gravatar.com

Hendrik Baacke

Username    HendrikSimon
Date joined   Joined

2 projects

auto-verify

Last released

Efficient portfolio-based verification of neural network properties

ada-verona

Last released

Neural Network Robustness Analysis Framework

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page