Proof Minimization in Neural Network Verification.

Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz

Browse the full VMCAI paper archive.