How many bits does it take to quantize your neural network? (Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2020, 2020)

(untitled) - Giacobbe, M; Henzinger, TA; Lechner, M