Marabou

https://github.com/neuralnetworkverification/marabou

Marabou is an SMT-based framework for verifying deep neural networks that provides formal guarantees...

Tokens:49,219
Snippets:504
Trust Score:6.2
License:BSD-3-Clause
Update:1 month ago
Tokens:
Raw