AI2
From MaRDI portal
Cited in
(59)- Verisig
- nnenum
- DeepProbLog
- Sherlock
- RecurJac
- ReachNN
- POPQORN
- DeepXplore
- TensorFuzz
- DLFuzz
- CLN2INV
- SHRAD
- NeVer
- TACO
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
- Advances in verification of ReLU neural networks
- Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
- Static analysis of ReLU neural networks with tropical polyhedra
- Exploiting verified neural networks via floating point numerical error
- Toward neural-network-guided program synthesis and verification
- SyReNN: a tool for analyzing deep neural networks
- SReach
- DeepFool
- AI-Toolbox
- FPTuner
- vZ
- REBA
- ONNX
- Reluplex
- Marabou
- NNV
- VERIFAI
- CRN++
- Imandra
- PRECiSA
- DynAlloy
- nncontroller
- SyReNN
- DL2
- gRPC
- Shiftry
- FastGRNN
- Daisy
- NNRepair
- DeepSplit
- NeuroDiff
- PRoA
- Pomp++
- DIMBA
- XPOMCP
- ReluDiff
- Adv-BNN
- DiffRNN
- DeepGauge
- DeepMutation
- Veritex
- GUAP
- DiffRNN: differential verification of recurrent neural networks
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
This page was built for software: AI2
