ResearchTrend.AI
CEG4N: Counter-Example Guided Neural Network Quantization Refinement

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

J. Matos
I. Bessa
Edoardo Manino
Xidan Song
Lucas C. Cordeiro
    MQ
ArXivPDFHTML

Papers citing "CEG4N: Counter-Example Guided Neural Network Quantization Refinement"

1 / 1 papers shown
Title
Introduction to Neural Network Verification
Introduction to Neural Network Verification
Aws Albarghouthi
AAML
53
85
0
21 Sep 2021