Project hub
Machine Learning documentation and guide.
Formal verification of binary neural networks via Petri net models. Includes package install and paper download.