NeuroCodeBench: a plain C neural network benchmark for software verification

7 September 2023

Papers citing "NeuroCodeBench: a plain C neural network benchmark for software verification"

5 / 5 papers shown

Title
CEG4N: Counter-Example Guided Neural Network Quantization Refinement J. Matos I. Bessa Edoardo Manino Xidan Song Lucas C. Cordeiro MQ 52 2 0 09 Jul 2022
Bugs in Machine Learning-based Systems: A Faultload Benchmark Mohammad Mehdi Morovati Amin Nikanjam Foutse Khomh Zhen Ming Z. Jiang 52 20 0 24 Jun 2022
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 83 195 0 11 Mar 2021
Taxonomy of Real Faults in Deep Learning Systems Nargiz Humbatova Gunel Jahangirova Gabriele Bavota Vincenzo Riccio Andrea Stocco Paolo Tonella 75 267 0 24 Oct 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 297 1,860 0 03 Feb 2017