实体 alpha-CROWN

alpha-CROWN

PulseAugur coverage of alpha-CROWN — every cluster mentioning alpha-CROWN across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

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

TOOL · CL_185339 · Aug 6 · 04:00

Luna C++ bound propagator 改进了神经网络验证

研究人员开发了Luna，一种用于神经网络验证的新型bound propagator，采用C++实现以改善集成和生产使用。Luna支持多种分析方法，包括Interval Bound Propagation和alpha-CROWN，并且旨在比现有的基于Python的实现更高效并提供更紧密的界限。该工具在VNN-COMP 2025的基准测试中表现出卓越的性能，并可供公众使用。