Skip to content
abhip02
VerifAI
Public

About

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.

Resources

Readme
License
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository
BranchesTags
 
 

Latest commit

 

History

207 Commits

Folders and files

Repository files navigation

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

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

About

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.

Resources

Readme
License
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages