Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Equivalence Verification
Publications
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
João Batista Pereira Matos Júnior
,
Iury Bessa
,
Edoardo Manino
,
Xidan Song
and
Lucas C. Cordeiro
EasyChair Preprint 8617
Copyright © 2012-2024 easychair.org. All rights reserved.
