Reluplex
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Verisig
- GoTube
- nnenum
- NNVODE
- Sherlock
- RecurJac
- Safety Gym
- ReachNN
- POPQORN
- DeepXplore
- TensorFuzz
- CLN2INV
- CLOVES
- NeVer
- dReal
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
- Optimization problems for machine learning: a survey
- Advances in verification of ReLU neural networks
- SDLV: verification of steering angle safety for self-driving cars
- Enhancing robustness verification for deep neural networks via symbolic propagation
- Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
- Reachability analysis of a general class of neural ordinary differential equations
- Static analysis of ReLU neural networks with tropical polyhedra
- Exploiting verified neural networks via floating point numerical error
- Verifying low-dimensional input neural networks via input quantization
- Toward neural-network-guided program synthesis and verification
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Bisimulations for neural network reduction
- Verifying binarized neural networks by Angluin-style learning
- Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks
- Spanning attack: reinforce black-box attacks with unlabeled data
- SyReNN: a tool for analyzing deep neural networks
- A game-based approximate verification of deep neural networks with provable guarantees
- MNIST
- OpenAI Gym
- FeatureVis
- HYST
- Flow*
- Breach
- DeepFool
- cleverhans
- AI-Toolbox
- DeepFace
- FPTuner
- Model Predictive Control Toolbox
- vZ
- CORA
- UppSAT
- Apollo
- JuliaReach
- LIPSAT
- REBA
- TIRA
- PaRoT
- Marabou
- SkipNet
- MixTrain
- Deep_Learning
- NNV
- VERIFAI
- SqueezeDet
- SmoothGrad
- Branch and bound for piecewise linear neural network verification
- A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
- Task-aware verifiable RNN-based policies for partially observable Markov decision processes
- Sherlock - A tool for verification of neural network feedback systems
- PRODeep
- nncontroller
- sitar
- SyReNN
- ERAN
- DL2
- AI2
- gRPC
- Shiftry
- FastGRNN
- QF_FP
- Learning safe neural network controllers with barrier certificates
- NNRepair
- DeepSplit
- NeuroDiff
- PRoA
- Pomp++
- DIMBA
- XPOMCP
- ReluDiff
- JANOS
- Adv-BNN
- DiffRNN
- Scenic
- DeepGauge
- DeepMutation
- Veritex
- Riss
- GUAP
- DiffRNN: differential verification of recurrent neural networks
- Robustness verification of quantum classifiers
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
This page was built for software: Reluplex
