NNV

MaRDI QIDQ44250swMATHFDO

Official website https://arxiv.org/abs/2004.05519

Source code repository https://github.com/verivital/nnv/

Cited in

(29)

• Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
• Robustness verification of quantum classifiers
• Verifying low-dimensional input neural networks via input quantization
• ToolboxLS
• Pyhybridanalysis
• HYST
• Model Predictive Control Toolbox
• CORA
• JuliaReach
• Marabou
• Reluplex
• VERIFAI
• AI2
• Sherlock
• POPQORN
• ReachNN
• DeepSplit
• Scenic
• GoTube
• nnenum
• NNVODE
• Verisig
• RecurJac
• Kaa
• Safety Gym
• Learning safe neural network controllers with barrier certificates
• Reachability analysis of a general class of neural ordinary differential equations
• NNRepair
• Veritex

This page was built for software: NNV