更短不等于更便宜：声明式动画规格与自由代码的受控对比

声明式规格答案更短，但未让推理模型更便宜、更快或更可靠。

资讯摘要

论文对比 LLM 生成交互式动画解释的两种方式：自由形式 HTML/JavaScript 与声明式规格（由固定运行时播放）。作者设计 ExplainSpec 时间索引格式及可编程检查的观察契约，用 20 个跨五领域请求测试三个 Claude 模型（360 次任务）及 Qwen3-14B（240 次任务）。结果显示规格答案 token 少 25–48%，但启用推理时仅最大 Claude 模型总输出显著下降，无模型显著更快；Qwen3-14B 规格有效率仅 33%。

要点速读

1. 论文提出 ExplainSpec 声明式动画格式与观察契约，用校验器对五个领域的 20 个解释请求打分。
2. 三个 Claude 模型与 Qwen3-14B 在两种格式下作答：规格答案 token 少 25–48%，但无模型生成显著更快。
3. Claude 模型写规格前推理更多；Qwen3-14B 规格仅 33% 有效、17% 通过全部语义测试，自由形式 HTML/JavaScript 为 62%。

中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/27 08:00:28（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。