Chiho_MN (ChihoMN)

ChihoMN

Geek Repo

Company:Dalian University of Technology

Location:Dalian,China

Home Page:chihomn.github.io

Github PK Tool:Github PK Tool

Chiho_MN's repositories

alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

chihomn.github.io

个人主页

Language:HTMLStargazers:0Issues:0Issues:0