Neural Network Verification with Proof Production.

Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz

Browse the full FMCAD paper archive.