Neural Network Verification

Formal methods applied to ensure neural networks behave correctly according to specified properties.