研究团队发布四个自然语言到MLIR基准及约束解码器

研究团队发布四个自然语言到 MLIR 的基准（MLIR-Spec-150、Linalg-Spec-30、StableHLO-Spec-30、StableHLO-Held-Out-200），共 410 对样本，覆盖三种方言；同时发布基于 ODS 的三层模式派生约束解码栈、逐提示生成结果和固定版本的可复现 Dockerfile。团队称该约束解码无需重新训练即可实现跨方言泛化。 基准另含 25 个程序构成的语法外压力测试集，并在 30 个 Spec 提示上提供功能参考；数据以 Apache-2.0 许可发布，附 Gebru 数据表和 Croissant 1.1 元数据。

AI 根据报道生成 · 49 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。