{"id":"2208.05740","title":"General Cutting Planes for Bound-Propagation-Based Neural Network Verification","url":"https://codeofpaper.com/paper/2208.05740","arxiv_url":"https://arxiv.org/abs/2208.05740","published":"2022-08-11","code":"official","best":{"full_name":"Verified-Intelligence/alpha-beta-CROWN","url":"https://github.com/Verified-Intelligence/alpha-beta-CROWN","tier":"official","stars":394,"license":null,"framework":null,"language":"Python","last_commit":"2026-01-17T05:46:08"},"most_starred_community":null,"implementations":[{"full_name":"Verified-Intelligence/alpha-beta-CROWN","url":"https://github.com/Verified-Intelligence/alpha-beta-CROWN","tier":"official","stars":394,"license":null,"framework":null,"language":"Python","last_commit":"2026-01-17T05:46:08"}],"possible_matches":0}