Incremental Verification of Fixed-Point Implementations of Neural
Networks

Incremental Verification of Fixed-Point Implementations of Neural Networks

21 December 2020

Eddie Batista de Lima Filho

Lucas C. Cordeiro

ArXiv (abs)PDF HTML

Papers citing "Incremental Verification of Fixed-Point Implementations of Neural Networks"

Title
No papers