Reluplex

swMATH31367MaRDI QIDQ43078FDOQ43078

Author name not available (Why is that?)

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

Source code repository: https://github.com/guykatzz/ReluplexCav2017

Cited In (only showing first 100 items - show all)

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

This page was built for software: Reluplex