PrototypeCommon
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.
- Owner
- BerkeleyLearnVerify (organization)
- Stars
- Stars: 220
- Forks
- Forks: 56
- Language
- Python
- License
- BSD-3-Clause
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Python
All Python repos- gnhen/midscrollStars: 220PythonPrototype
- roy-tong/VerovoStars: 220PythonPrototype
- datamllab/OpenEBFMStars: 220PythonPrototype
- mfenniak/pg8000Stars: 220PythonPrototype
- bdarnell/django-tornado-demoStars: 220PythonPrototype
- python-quantities/python-quantitiesStars: 220PythonPrototype