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"

2 / 2 papers shown
Title
NeuroCodeBench: a plain C neural network benchmark for software verification
NeuroCodeBench: a plain C neural network benchmark for software verification
Edoardo Manino
R. Menezes
F. Shmarov
Lucas C. Cordeiro
18
3
0
07 Sep 2023
Introduction to Neural Network Verification
Introduction to Neural Network Verification
Aws Albarghouthi
AAML
53
85
0
21 Sep 2021