{"id":"2305.13508","title":"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation","url":"https://codeofpaper.com/paper/2305.13508","arxiv_url":"https://arxiv.org/abs/2305.13508","published":"2023-05-22","code":"community","best":{"full_name":"rcpsl/DeepBern-Nets","url":"https://github.com/rcpsl/DeepBern-Nets","tier":"high_confidence_community","stars":3,"license":"BSD-3-Clause","framework":null,"language":"Python","last_commit":"2023-06-25T16:37:04"},"most_starred_community":null,"implementations":[{"full_name":"rcpsl/DeepBern-Nets","url":"https://github.com/rcpsl/DeepBern-Nets","tier":"high_confidence_community","stars":3,"license":"BSD-3-Clause","framework":null,"language":"Python","last_commit":"2023-06-25T16:37:04"}],"possible_matches":0}