Picture for Duncan Starkenburg

Duncan Starkenburg

Achieving the Tightest Relaxation of Sigmoids for Formal Verification

Add code
Aug 22, 2024
Viaarxiv icon