Reluplex
From MaRDI portal
Software:43078
swMATH31367MaRDI QIDQ43078FDOQ43078
Author name not available (Why is that?)
Source code repository: https://github.com/guykatzz/ReluplexCav2017
Cited In (30)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- Strong mixed-integer programming formulations for trained neural networks
- Enhancing robustness verification for deep neural networks via symbolic propagation
- Spanning attack: reinforce black-box attacks with unlabeled data
- Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
- 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
- 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
- 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
- Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes
- SDLV: verification of steering angle safety for self-driving cars
- Learning safe neural network controllers with barrier certificates
- Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks
- Title not available (Why is that?)
- Reachability analysis of a general class of neural ordinary differential equations
- Sherlock - A tool for verification of neural network feedback systems
This page was built for software: Reluplex