BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
174Updated 3 months ago

Related projects

Alternatives and complementary repositories for VerifAI