PRODeep

MaRDI QIDQ55586swMATHFDO

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)

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

This page was built for software: PRODeep