TY  - RPRT
TI  - NeuroCodeBench: a plain C neural network benchmark for software verification
AU  - Edoardo Manino
AU  - Rafael Sá Menezes
AU  - Fedor Shmarov
AU  - Lucas C. Cordeiro
PY  - 2023
UR  - https://arxiv.org/abs/2309.03617
ID  - 2309.03617
ER  -