NPAQ Benchmarks
Teodora Baluta, Shiqi Shen, Shweta Annasaheb Shinde, Kuldeep S. Meel, Prateek Saxena · Zenodo (CERN European Organization for Nuclear Research) · 2019
This upload contains the models and formulas used to evaluate the quantitative reasoning tool for binarized neural networks called NPAQ (see paper here https://arxiv.org/abs/1906.10395) Please visit teobaluta.github.io/npaq for upcoming information and tool release.