arXiv · NLP· Avaljot Singh, Yasmin Chandini Sarita, Aditya Mishra, Gagandeep Singh, Charith Mendis·· 16 小时前AI 评分27
Neuton 框架自动将神经网络神经层级认证器转换为张量级可执行代码
Automatic Tensor-level Execution of Abstract Interpreters for Neural Networks
AI 导读
Neuton 框架通过自动翻译神经层级规范为张量级可执行程序，解决了 DNN 认证器开发中数学设计与实现层面的脱节难题。该框架在 8 个认证器和 32 个 DNN 基准测试中成功运行 4 个新认证器，并证明跳过策略 SkipPoly 在保持与 DeepPoly 同等精度的同时运行速度更快。 它通过栈式中间表示、域专用重写规则及新格式 gBCSR 优化了隐式张量操作，显著提升了编译效率和运行时性能。
来源：arXiv · NLP · arxiv.org