{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","url":"https://codeofpaper.com/paper/1610.06940","arxiv_url":"https://arxiv.org/abs/1610.06940","published":"2016-10-21","code":"official","best":{"full_name":"VeriDeep/DLV","url":"https://github.com/VeriDeep/DLV","tier":"official","stars":50,"license":"GPL-3.0","framework":null,"language":"Python","last_commit":"2018-02-05T15:51:32"},"most_starred_community":null,"implementations":[{"full_name":"VeriDeep/DLV","url":"https://github.com/VeriDeep/DLV","tier":"official","stars":50,"license":"GPL-3.0","framework":null,"language":"Python","last_commit":"2018-02-05T15:51:32"}],"possible_matches":0}