NeuroCodeBench
Published in Zenodo (CERN European Organization for Nuclear Research) • Aug 31, 2023
Authors:,,
Edoardo Manino
Rafael Menezes
Fedor Shmarov
Abstract
A collection of neural networks implemented in plain C language, paired with formal specifications of their properties.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!