{"id":"1903.01287","title":"Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming","url":"https://codeofpaper.com/paper/1903.01287","arxiv_url":"https://arxiv.org/abs/1903.01287","published":"2019-03-04","code":"official","best":{"full_name":"mahyarfazlyab/DeepSDP","url":"https://github.com/mahyarfazlyab/DeepSDP","tier":"official","stars":14,"license":"Apache-2.0","framework":null,"language":"MATLAB","last_commit":"2021-06-28T01:43:44"},"most_starred_community":null,"implementations":[{"full_name":"mahyarfazlyab/DeepSDP","url":"https://github.com/mahyarfazlyab/DeepSDP","tier":"official","stars":14,"license":"Apache-2.0","framework":null,"language":"MATLAB","last_commit":"2021-06-28T01:43:44"}],"possible_matches":0}