@misc{indiciae820e33aabf96,
  title = {Achieving the Tightest Relaxation of Sigmoids for Formal Verification},
  author = {Samuel Chevalier and Duncan Starkenburg and Krishnamurthy Dvijotham},
  year = {2024},
  url = {https://arxiv.org/abs/2408.10491},
  note = {Source identifier: 2408.10491}
}