search

NeVerTools / pyNeVer

A Python library for learning and verification of neural networks and other machine learning models
Other
9 stars 3 forks source link

Vnncomp merge #28

Closed sdemarch closed 2 months ago

sdemarch commented 2 months ago

Refactoring for VNNCOMP