Achieving the Tightest Relaxation of Sigmoids for Formal Verification

Open in new window