GitHub repository: BerkeleyLearnVerify/VerifAI
Primary language: Python
Created: 2019-02-06T23:53:29Z
Description: VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.