Counterexample Guided Neural Network Quantization Refinement
João Batista P. Matos; Eddie B. de Lima Filho; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro
- Published
- Publisher
- Institute of Electrical and Electronics Engineers (IEEE)
- Journal / collection
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Research area
- AI & compute
- Source type
- Journal article
- DOI
- 10.1109/tcad.2023.3335313
The original publisher provides the full text and its access options.
Cite this source
João Batista P. Matos; Eddie B. de Lima Filho; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro. Counterexample Guided Neural Network Quantization Refinement. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2024-04. https://doi.org/10.1109/tcad.2023.3335313