研究人员开发了Luna，一种用于神经网络验证的新型bound propagator，采用C++实现以改善集成和生产使用。Luna支持多种分析方法，包括Interval Bound Propagation和alpha-CROWN，并且旨在比现有的基于Python的实现更高效并提供更紧密的界限。该工具在VNN-COMP 2025的基准测试中表现出卓越的性能，并可供公众使用。 AI
影响 Luna的这种新的C++实现可以简化神经网络验证流程，并提高研究人员和开发人员的效率。
排序理由 这是一篇详细介绍用于神经网络验证的新工具的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
