arXiv · AI· Youngkyung Seo, MiHyeon Kim, Jisoo Lee, Hwijung Ryu·· 2 小时前AI 评分23
SERIAL-7：跨表示机器可验证输出的推导、实现与保留基准
SERIAL-7: Deriving, Realizing, and Preserving Machine-Verifiable Outputs Across Representations
AI 导读
summary_zh: SERIAL-7 发布首个韩英双语文档，基于 177 个规范工件构建跨 7 种表示的可执行验证框架，旨在解决结构化输出的语义正确性与执行可靠性脱节问题。
来源：arXiv · AI · arxiv.org