\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks
scientific article

    Statements

    \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    25 March 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references