实体 VNN-LIB 2.0

VNN-LIB 2.0

PulseAugur coverage of VNN-LIB 2.0 — every cluster mentioning VNN-LIB 2.0 across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

时间线

2026-05-08 research_milestone Researchers published foundational work for the VNN-LIB 2.0 standard for neural network verification. 来源

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_25645 · May 8 · 08:56

VNN-LIB 2.0 通过形式理论标准化神经网络验证

研究人员开发了 VNN-LIB 2.0，这是一个新的神经网络验证标准，解决了其先前版本中的不足。此更新标准引入了“网络理论”的概念，为神经网络模型提供了一个形式语义接口，使 VNN-LIB 能够与不断发展的模型格式保持兼容。新版本包括一个富有表现力的查询语言的形式语法、一个类型系统以及一个形式语义，所有这些都在 Agda 证明器中进行了机械化，以确保可信验证的严谨基础。