GitHub repository: ADA-research/auto-verify
Primary language: Python
Created: 2022-12-09T13:09:32Z
Description: Portfolio-based verification of neural network properties