CEG4N: Counter-Example Guided Neural Network Quantization Refinement

9 July 2022

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 Edoardo Manino R. Menezes F. Shmarov Lucas C. Cordeiro 18 3 0 07 Sep 2023
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021