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
- iunknown10
- Jielin-QiuPittsburgh, PA
- yogeshVU
- aogrcs
- YanghaoZYH
- sheepwxyTongji shanghai
- cxlz
- bobsomersSanta Clara, CA
- ramonfmirLondon
- pschafhalter
- elviswfShanghai, China
- seetodayShanghai
- joebb97Austin, Texas
- mxu34Pittsburgh
- ferasbgChicago, IL
- jdnklauDüsseldorf, Germany
- justicelee
- yang-hanHong Kong
- aha079
- Wuziyi616University of Toronto, Canada
- ashfaqfarooquiSweden
- loafbakerGuangzhou, China
- abhi-b-K
- wingvortex
- mehrdad-moradiAntwerp, Belgium
- oslundstrom
- n0b0dyCNBeijing, China
- hulsedMountain View, CA
- nikos-kekatos
- Shenghsin
- allenhsu6
- fengwz17Beijing
- tk-iarpa
- SimonLeeGitBeijing
- alexmajy
- mengjunxieChattanooga, Tennessee, USA