{"id":"2301.11342","title":"A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks","url":"https://codeofpaper.com/paper/2301.11342","arxiv_url":"https://arxiv.org/abs/2301.11342","published":"2023-01-26","code":"community","best":{"full_name":"sen-uni-kn/specrepair","url":"https://github.com/sen-uni-kn/specrepair","tier":"high_confidence_community","stars":3,"license":"Apache-2.0","framework":null,"language":"Python","last_commit":"2024-01-19T11:28:57"},"most_starred_community":null,"implementations":[{"full_name":"sen-uni-kn/specrepair","url":"https://github.com/sen-uni-kn/specrepair","tier":"high_confidence_community","stars":3,"license":"Apache-2.0","framework":null,"language":"Python","last_commit":"2024-01-19T11:28:57"}],"possible_matches":0}