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.
PythonBSD-3-Clause
Stargazers
- abmantha
- babakg
- benAyad17
- brendanzab@yeslogic
- ChenSunMacToronto, ON， Canada
- cookiew
- daalgi
- damtharveyUtah
- deepaktalwardtFarmWise Labs
- deliangyangchongqing china
- eluanshi7Stockholm
- emaballarinDept. of Maths, UniTS | @LACoNIC-UniTS ⊆ @ailab-units | @sissa-data-science | @AI-Student-Society
- govvijaycalUC Berkeley
- hashzulu
- hzyjerryUC Berkeley
- ilya-palachev@Samsung
- junjihashimotoJapan
- katsugeneration
- laventuraMountain View, CA
- lucenticus
- maggi3wangPalo Alto, CA || Cambridge, MA
- MajidMoghadam2006Santa Cruz, USA
- MasWagKyoto University
- mcelik34
- mpowelsonTortuga AgTech
- PalindromeLeungSan Mateo, CA
- pemdp
- shaijujanardhanan
- shalinmehtalgsvl
- shangfute
- shpotesGoogle
- taquangtrungNational University of Singapore.
- ttjVanderbilt University
- WuXinyang2012Stuttgart, Germany.
- yuul
- zutshiGalois, Inc