PV1 ⊧ BDD4BNNencodes a binarized neural network and input region into a BDD

Framework for quantitative analysis of BNNs (binarized neural networks).

Application domain/field

• Binarized Neural Networks (BNNs)
• Binary Decision Diagrams (BDDs)
• Quantitative analysis

Expected input

• Binarized Neural Network (BNN)
• Region R

Expected output

BDD that encodes the input-output relation of the binarized neural network in the region R.

Internals

It encodes a BNN and the associated input region into BDDs. Uses CUDD

Comments

The tool is called a "prototype tool" in the CAV '21 paper.