Marabou

swMATH31368MaRDI QIDQ43079FDOQ43079

Author name not available (Why is that?)

Source code repository: https://github.com/NeuralNetworkVerification/Marabou

Cited In (8)

• Enhancing robustness verification for deep neural networks via symbolic propagation
• DiffRNN: differential verification of recurrent neural networks
• \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
• Robustness verification of semantic segmentation neural networks using relaxed reachability
• An SMT-based approach for verifying binarized neural networks
• Static analysis of ReLU neural networks with tropical polyhedra
• Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
• Reachability analysis of a general class of neural ordinary differential equations

This page was built for software: Marabou