机器学习模型的明确实现的形式化描述
摘要：将深度神经网络应用于安全关键系统，特别是航空领域，需要提供适当的规范范式，以保留训练模型在最终硬件平台上的语义。我们建议扩展nnef语言，以允许对训练模型进行可追溯的分布和并行优化。我们展示了如何在Xavier平台上使用cuda实现这样的规范。
作者：Adrien Gauffriau, Claire Pagetti
论文ID：2307.12713
分类：Neural and Evolutionary Computing
分类简称：cs.NE
提交时间：2023-07-25