CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
Joo Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Browse the full CAV paper archive.
Joo Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Browse the full CAV paper archive.