Published August 31, 2023
| Version v1
Software
Open
NeuroCodeBench
Authors/Creators
- 1. The University of Manchester
Description
A collection of neural networks implemented in plain C language, paired with formal specifications of their properties.