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