NeVerTools is an organization powered by University of Genova and University of Sassari, with the collaboration of University of Kent.
A Python library for learning and verification of neural networks and other machine learning models
Selected benchmarks repository to use for regression testing while developing NeVer2
Repository for the experiments presented in the paper "Generation and Mitigation of Precision-Based Evasion Attacks in Neural Networks Verification" submitted to iFM2025
A tool for construction and conversion of neural networks across different standards
A repository collecting research benchmarks for the Intelligenza Artificiale Journal
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…
