TY - RPRT TI - DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation AU - Haitham Khedr AU - Yasser Shoukry PY - 2023 UR - https://arxiv.org/abs/2305.13508 ID - 2305.13508 ER -