Skip to content

CEG4N: Counter-Example Guided Neural Network Quantization Refinement.

Joo Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

VenueA*CAV
Year2022
ProceedingsNSV/FoMLAS@CAV

Browse the full CAV paper archive.