# Neural Networks

This folder contains all classes for the formal verification of neural networks.
This includes the main neural network class and all layers.
Please see also `<CORAROOT>/contDynamics/@neurNetContrSystem` for closed-loop verification.

Please check the <a target='_blank' href="https://cora.in.tum.de/manual">CORA manual</a> and the <a target='_blank' href="https://cora.in.tum.de/pages/neural-networks/">CORA website</a> for more information.

<hr style="height: 1px;">

<img src="../app/images/coraLogo_readme.svg"/>