ConstraintFlow

Neuton框架自动化神经网络认证器创建

一个名为Neuton的新框架已被开发出来，可自动将神经网络的神经元级抽象解释器规范转换为张量级可执行文件。这项创新旨在通过消除手动张量编程的需求来简化新DNN认证器的创建。Neuton引入了一个具有形状分析的中间表示，用于处理隐式张量操作，用于优化的特定领域重写规则，以及一种称为gBCSR的新型稀疏张量格式。评估表明，Neuton可以编译现有认证器并实现新的认证器，提供精度-运行时权衡，并与手动优化的库相比具有竞争力。