@misc{indiciae6520c6043b41,
  title = {Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks},
  author = {Matthias König and Xiyue Zhang and Holger H. Hoos and Marta Kwiatkowska and Jan N. van Rijn},
  year = {2024},
  url = {https://arxiv.org/abs/2406.10154},
  note = {Source identifier: 2406.10154}
}