Baike.dev
All toolsAI codingTrendingOpen sourceNewsSubmit
Log in
< Back to tools
A

alpha-beta-CROWN

> 数据库
Open source

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

386 stars0 likes0 views
WebsiteGitHub

About

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

GitHub Issues· 0 open

View all on GitHub

No open issues yet, or sync has not completed.

> Tags

Pythonadversarial-examplesadversarial-robustnessformal-verificationneural-network-verification

No comments yet. Be the first to share.

> Details

PublishedAug 1, 2026
UpdatedSep 17, 2026
Category数据库
PricingOpen source

> Related tools

P
PostgreSQL
功能强大的开源关系型数据库
R
Redis
内存数据结构存储，常用作缓存与队列
M
MySQL
广泛使用的开源关系型数据库