KaidiXu/LiRPA_Verify
Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
PythonBSD-2-Clause
Stargazers
- 0-vortex@open-sauced
- BentengMa
- danielz02Massachusetts Institute of Technology
- fangshuman
- Gary-oak-Star
- huanzhang12University of Illinois
- jinhaoduanPhiladelphia
- KaidiXuDrexel University
- karimtitoUniversity of Luxembourg
- Murplugg
- Shenghsin
- SilverRAN
- tcwangshiqi-columbiaAmazon AWS
- tokarev-i-v
- ViehzeugETH Zurich
- ZiiiB
- zoharli