Metadata-Version: 2.1
Name: verifiNN
Version: 0.0.0.dev5
Summary: A package for optimization based neural network verification.
Home-page: https://github.com/harshgit/verifiNN/tree/ayush_packaging
Author: Ayush Bharadwaj
Author-email: ayush.bharadwaj@gmail.com
Keywords: neural networks,verification,convex optimization,semidefinit programming
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3.7
Requires-Python: >=3.7, <4
Description-Content-Type: text/markdown

# verifiNN

This project intends to implement convex optimization based methods for verification of neural netrowks.

## References:
- https://scholarworks.calstate.edu/concern/theses/4t64gv41s (main)
- https://arxiv.org/pdf/1811.01057.pdf
- https://arxiv.org/pdf/1903.06758.pdf
- https://arxiv.org/pdf/1903.01287.pdf
