The following pages link to Reluplex (Q43078):
Displaying 30 items.
- DiffRNN: differential verification of recurrent neural networks (Q832044) (← links)
- Robustness verification of quantum classifiers (Q832160) (← links)
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635) (← links)
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298) (← links)
- Optimization problems for machine learning: a survey (Q2029894) (← links)
- Advances in verification of ReLU neural networks (Q2046329) (← links)
- SDLV: verification of steering angle safety for self-driving cars (Q2050090) (← links)
- Enhancing robustness verification for deep neural networks via symbolic propagation (Q2050096) (← links)
- Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training (Q2051310) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- Verifying low-dimensional input neural networks via input quantization (Q2145327) (← links)
- Toward neural-network-guided program synthesis and verification (Q2145332) (← links)
- Reluplex: an efficient SMT solver for verifying deep neural networks (Q2151238) (← links)
- Bisimulations for neural network reduction (Q2152656) (← links)
- Verifying binarized neural networks by Angluin-style learning (Q2181945) (← links)
- Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks (Q2193587) (← links)
- Spanning attack: reinforce black-box attacks with unlabeled data (Q2217425) (← links)
- SyReNN: a tool for analyzing deep neural networks (Q2233513) (← links)
- A game-based approximate verification of deep neural networks with provable guarantees (Q2286751) (← links)
- Branch and bound for piecewise linear neural network verification (Q4969086) (← links)
- A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems (Q5026187) (← links)
- Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes (Q5026215) (← links)
- Sherlock - A tool for verification of neural network feedback systems (Q5239249) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Strong mixed-integer programming formulations for trained neural networks (Q5918909) (← links)
