GitHub - abhip02/VerifAI: Fork for Compositional Analysis research. VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

Working on compositional-analysis branch. Multiprocessing code to generate traces monolithically.

Coding tests to analyze benefits of compositional analysis vs. monolithic.

Name		Name	Last commit message	Last commit date
Latest commit History 207 Commits
docs		docs
examples		examples
src/verifai		src/verifai
tests		tests
.gitignore		.gitignore
.readthedocs.yml		.readthedocs.yml
LICENSE		LICENSE
README.md		README.md
pyproject.toml		pyproject.toml
tox.ini		tox.ini

Provide feedback