{"id":"2103.06624","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","url":"https://codeofpaper.com/paper/2103.06624","arxiv_url":"https://arxiv.org/abs/2103.06624","published":"2021-03-11","code":"official","best":{"full_name":"eth-sri/eran","url":"https://github.com/eth-sri/eran","tier":"official","stars":347,"license":"Apache-2.0","framework":null,"language":"Python","last_commit":"2023-01-27T01:14:21"},"most_starred_community":null,"implementations":[{"full_name":"eth-sri/eran","url":"https://github.com/eth-sri/eran","tier":"official","stars":347,"license":"Apache-2.0","framework":null,"language":"Python","last_commit":"2023-01-27T01:14:21"},{"full_name":"KaidiXu/Beta-CROWN","url":"https://github.com/KaidiXu/Beta-CROWN","tier":"official","stars":31,"license":"BSD-2-Clause","framework":null,"language":null,"last_commit":"2021-11-09T19:38:16"}],"possible_matches":0}