Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report.

Dario Guidotti, Laura Pandolfo, Luca Pulina

Browse the full ICTAI paper archive.