Last released Jan 8, 2024
Package for the training, pruning and verification of neural networks.
Supported by