@misc{indiciaef62dc30c879c,
  title = {CEG4N: Counter-Example Guided Neural Network Quantization Refinement},
  author = {João Batista P. Matos Jr. and Iury Bessa and Edoardo Manino and Xidan Song and Lucas C. Cordeiro},
  year = {2022},
  url = {https://arxiv.org/abs/2207.04231},
  note = {Source identifier: 2207.04231}
}