Shared Certificates for Neural Network Verification.

Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev

Browse the full CAV paper archive.