Scalable Verification of Quantized Neural Networks.

Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

Browse the full AAAI paper archive.