Last released Oct 10, 2024
Package for the design, training, pruning and verification of neural networks.
Supported by