{"id":"2011.13824","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","url":"https://codeofpaper.com/paper/2011.13824","arxiv_url":"https://arxiv.org/abs/2011.13824","published":"2020-11-27","code":"official","best":{"full_name":"KaidiXu/LiRPA_Verify","url":"https://github.com/KaidiXu/LiRPA_Verify","tier":"official","stars":17,"license":"BSD-2-Clause","framework":null,"language":"Python","last_commit":"2023-01-27T07:18:28"},"most_starred_community":null,"implementations":[{"full_name":"KaidiXu/LiRPA_Verify","url":"https://github.com/KaidiXu/LiRPA_Verify","tier":"official","stars":17,"license":"BSD-2-Clause","framework":null,"language":"Python","last_commit":"2023-01-27T07:18:28"}],"possible_matches":0}