Short tutorial on Neural Net Verification in Python
For breif introduction to Z3 API in Python, see https://ericpony.github.io/z3py-tutorial/guide-examples.htm
Example of a verification paper: https://arxiv.org/pdf/1610.06940.pdf
Short tutorial on Neural Net Verification in Python
For breif introduction to Z3 API in Python, see https://ericpony.github.io/z3py-tutorial/guide-examples.htm
Example of a verification paper: https://arxiv.org/pdf/1610.06940.pdf