arXiv cs.AI· Youngkyung Seo, MiHyeon Kim, Jisoo Lee, Hwijung Ryu·· 1 天前AI 评分35
SERIAL-7：跨表征推导、实现与保持机器可验证输出
SERIAL-7: Deriving, Realizing, and Preserving Machine-Verifiable Outputs Across Representations
AI 导读
SERIAL-7 是一个面向 7 种表征评估机器可验证生成的韩英双语评测基准，基于可执行验证框架构建。它使用 177 个规范产物和 43 个原子表征约束，将流程拆分为语义推导（Derive）、受约束产物生成（Realize）与跨表征保持（Preserve）。
来源：arXiv cs.AI · arxiv.org