https://github.com/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.
https://github.com/BerkeleyLearnVerify/VerifAI

Last synced: 22 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/BerkeleyLearnVerify/VerifAI
• Owner: BerkeleyLearnVerify
• License: bsd-3-clause
• Created: 2019-02-06T23:53:29.000Z (about 6 years ago)
• Default Branch: main
• Last Pushed: 2025-02-14T21:01:56.000Z (2 months ago)
• Last Synced: 2025-03-15T02:46:22.749Z (about 1 month ago)
• Language: Python
• Homepage:
• Size: 90.6 MB
• Stars: 184
• Watchers: 12
• Forks: 50
• Open Issues: 12
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-trustworthy-deep-learning - VerifAI