{"id":"2002.10410","title":"Lagrangian Decomposition for Neural Network Verification","url":"https://codeofpaper.com/paper/2002.10410","arxiv_url":"https://arxiv.org/abs/2002.10410","published":"2020-02-24","code":"official","best":{"full_name":"oval-group/decomposition-plnn-bounds","url":"https://github.com/oval-group/decomposition-plnn-bounds","tier":"official","stars":4,"license":"MIT","framework":null,"language":"Python","last_commit":"2021-01-14T18:52:33"},"most_starred_community":null,"implementations":[{"full_name":"oval-group/decomposition-plnn-bounds","url":"https://github.com/oval-group/decomposition-plnn-bounds","tier":"official","stars":4,"license":"MIT","framework":null,"language":"Python","last_commit":"2021-01-14T18:52:33"}],"possible_matches":0}