DeepVerify - Deep neural-net verification framework with provable guarantees

DeepVerify is a suite of tools to verify and certify robustness of different types of AI applications with a specific focus on currently popular neural networks such as deep CNN, reinforcement learning, recurring neural networks. However, our tools can be deployed on other types of AI/ML frameworks as well. Upon automated in-depth assessment of AI applications and exploration of input data space and risk modeling, DeepVerify will identify bugs and areas of concern and provide a Certificate of Robustness and a suggested recommendation report for further action. Once the AI applications go into production, DeepVerify's Intelligent Run-time Agent(IRA) will provide a 24x7 run-time monitoring service to evaluate the production system and provide protective measures and insights based on specific use-cases.