TY  - RPRT
TI  - CEG4N: Counter-Example Guided Neural Network Quantization Refinement
AU  - João Batista P. Matos Jr.
AU  - Iury Bessa
AU  - Edoardo Manino
AU  - Xidan Song
AU  - Lucas C. Cordeiro
PY  - 2022
UR  - https://arxiv.org/abs/2207.04231
ID  - 2207.04231
ER  -