CEG4N: Counter-Example Guided Neural Network Quantization Refinement

João Batista P. Matos, Iury Bessa, Edoardo Manino +2

Neural networks are essential components of learning-based software systems. However, their high compute, memory, and power requirements make using them in low resources domains ch…