vivid04 / lirpa_verify Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kaidixu/lirpa_verify
Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
License: BSD 2-Clause "Simplified" License