English(EN) AutoSpec: Automated Generation of Neural Network Specifications

AutoSpec框架自动化神经网络规格生成

作者 PulseAugur 编辑部 · [1 个来源] · 2026-07-20 04:00

研究人员开发了AutoSpec，一个旨在自动生成和评估神经网络规格的新型框架，解决了安全关键应用中手动规格的挑战。该系统利用基于树的算法来划分输入空间，并利用统计认证框架来确保准确性。实验表明，与人工定义的规格和现有基线相比，AutoSpec显著提高了规格的准确性和覆盖率，F1分数最高提升了73%。 AI

影响自动化了神经网络验证中一个关键的手动步骤，有望提高AI系统的安全性和鲁棒性。

排序理由该集群包含一篇详细介绍用于自动生成神经网络规格的新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.LG 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

报道来源 [1]

arXiv cs.LG TIER_1 English(EN) · Shuowei Jin, Taobo Liao, Anuj Kalia, Xenofon Foukas, Huan Zhang, Cheng Tan, Z. Morley Mao, Francis Y. Yan · 2026-07-20 04:00

AutoSpec：神经网络规格的自动化生成

arXiv:2409.10897v3 Announce Type: replace Abstract: The increasing adoption of neural networks in learning-augmented systems highlights the growing need for model safety and robustness, especially in safety-critical domains. While recent advances in neural network verification of…

报道来源 [1]

AutoSpec：神经网络规格的自动化生成

相关实体

相关话题