百科.dev
全部条目AI 编程趋势榜开源项目技术资讯提交条目
登录
< 返回工具列表
A

alpha-beta-CROWN

> 数据库
开源

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

386 stars0 点赞0 次浏览
访问官网GitHub

工具介绍

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

GitHub Issues· 0 开放

在 GitHub 查看全部

暂无开放 Issues，或尚未同步最近议题。

> 标签

Pythonadversarial-examplesadversarial-robustnessformal-verificationneural-network-verification

暂无评论，来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日
最后更新2026年9月17日
分类数据库
定价开源

> 相关工具

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