ChihoMN

Dalian University of TechnologyDalian,China

Pinned 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:Python00
chihomn.github.io
个人主页
Language:HTML00

ChihoMN's Repositories

ChihoMN/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
Language:Python00
ChihoMN/chihomn.github.io
个人主页
Language:HTML00