TY - RPRT TI - Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks AU - Matthias König AU - Xiyue Zhang AU - Holger H. Hoos AU - Marta Kwiatkowska AU - Jan N. van Rijn PY - 2024 UR - https://arxiv.org/abs/2406.10154 ID - 2406.10154 ER -