Achieving the Tightest Relaxation of Sigmoids for Formal Verification. - Samuel Chevalier; Duncan Starkenburg; Krishnamurthy Dvijotham (CoRR, 2024)