PRODeep

swMATH39886MaRDI QIDQ55586FDOQ55586

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/abs/10.1145/3368089.3417918

Described by source

• Enhancing robustness verification for deep neural networks via symbolic propagation

Cited In (5)

• DiffRNN
• NeuroDiff
• ReluDiff
• \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
• TensorFuzz

This page was built for software: PRODeep