oval-group/PLNN-verification
All code for the Piecewise Linear Neural Networks verification: A comparative study paper
PythonGPL-3.0
Stargazers
- aseembits93
- Bo-Yuan-HuangIntel Corp.
- bwnjnOEISaudi Arabia, Jeddah
- dathath
- deepocrateMountain View
- edwardxu0
- ferasbgChicago, IL
- he0x
- Heimdall-Nsschina
- ilya-palachev@Samsung
- j29scottUniversity of Waterloo
- jueun-yeon
- KatharinaLinGuangzhou
- kazimuthDetroit, MI
- KeyKia2
- LLwyct西安电子科技大学
- makintundeImperial College London
- masud99rPurdue University
- matosjr
- minalspatilUmeå universitet
- mzweilinIntel
- PeipeiXuxUniversity of Liverpool
- pm5@g0v
- sagarverma@granularai
- stefanwebbMeta Platforms, Inc.
- ttjVanderbilt University
- tyduskyZhejiang University
- v-larcher
- w-garciaUniversity of Dayton Research Institute
- Xinghui-Li
- XinyuGuan01
- XuankangLinWest Lafayette
- YanghaoZYHImperial College London