Picture for Rafael Sá Menezes

Rafael Sá Menezes

NeuroCodeBench: a plain C neural network benchmark for software verification

Add code
Sep 07, 2023
Viaarxiv icon