David Shriver

dnnv. A Framework for Deep Neural Network Verification

intercepts. Intercept calls in python

vnnlib. A package for parsing neural network properties in VNN-LIB format

dnnf. Deep Neural Network Falsification

dnnv-benchmarks. A Collection of DNN Verification Benchmarks

pinq. Python Integrated Queries

cayleypy. A python client for Cayley, an open-source graph database.

dlshriver.github.io. David Shriver on Github