Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
PythonNOASSERTION
Stargazers
- ankitshah009@cmu-mlsp
- busixingxingSeattle WA
- ChaduCheng
- ChengzhiCUColumbia University
- cjhsieh
- danielz02Massachusetts Institute of Technology
- deJQK
- Dongdongshe
- edsonke
- farwangChina
- fly51flyPRIS
- HelingZhang
- hongpeng-guoAnyscale
- huanzhang12University of Illinois
- hushenghanICT, CAS
- jiangsy
- jinhaoduanPhiladelphia
- JZK00West China Biomedical Big Data Center
- kazenokiziChengdu, China
- liuchen11City University of Hong Kong
- liusiping10
- matosjr
- n-akram
- Nicholas0228Shanghai Jiao Tong University (SJTU)
- peikexin9The University of Chicago
- PeiyanFlyingNEU
- persistzShanghaiTech University
- Rayman96
- shizhouxingUCLA
- sjtubblytheCambridge, MA
- stmammadovADA University
- tcwangshiqi-columbiaAmazon AWS
- Vedurumudi-PriyankaSridevi Women's Engineering College
- Wei-TianHao
- youtang1993Electronics and Information Technology, Sun Yat-sen University,
- zhanzheng8585