CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Authors: João Batista Pereira Matos Júnior, Lucas C. Cordeiro, Edoardo Manino, Xidan Song and Iury Bessa
Paper Information
| Title: | CEG4N: Counter-Example Guided Neural Network Quantization Refinement |
| Authors: | João Batista Pereira Matos Júnior, Lucas C. Cordeiro, Edoardo Manino, Xidan Song and Iury Bessa |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Robust Compression, Neural Network Compression, Neural Network Equivalence, Equivalence Verification |
| Pages: | 17 |
| Talk: | Jul 31 16:00 (Session 19D) |
| Paper: |  |