实体
Kernel Contracts
Kernel Contracts
PulseAugur coverage of Kernel Contracts — every cluster mentioning Kernel Contracts across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
提出的AI核函数契约用于界定训练-推理发散
研究人员引入了一个名为核函数契约的框架，用于管理AI模型训练和推理过程中的发散。该方法旨在界定因使用不同计算核函数而产生的差异，这些差异即使在模型权重相同的情况下也可能导致不同的输出分布。所提出的系统包括数值、统计和运行时条款，以及违反契约的升级策略和用于契约工件的四阶段推广流程。
-
新的规范语言旨在形式化跨硅的机器学习内核契约
研究人员推出了一种名为 Kernel Contracts 的新规范语言，旨在跨不同硬件平台正式定义和验证机器学习内核的正确性。该语言解决了不同硅供应商在计算中存在的细微差异问题，这些差异可能导致难以检测的错误。该框架包含定义契约的八个组件，例如先决条件、后置条件和容差级别，并已应用于分析特定硬件上精度错误和不当行为的已记录事件。