NeuroCodeBench: a plain C neural network benchmark for software verification
Safety-critical systems with neural network components require strong guarantees. While
existing neural network verification techniques have shown great progress towards this goal …
existing neural network verification techniques have shown great progress towards this goal …
Counterexample Guided Neural Network Quantization Refinement
JBP Matos, EB de Lima Filho, I Bessa… - … on Computer-Aided …, 2023 - ieeexplore.ieee.org
Deploying neural networks (NNs) in low-resource domains is challenging because of their
high computing, memory, and power requirements. For this reason, NNs are often quantized …
high computing, memory, and power requirements. For this reason, NNs are often quantized …