Picture for Fedor Shmarov

Fedor Shmarov

NeuroCodeBench: a plain C neural network benchmark for software verification

Add code
Sep 07, 2023
Viaarxiv icon