论文提出数学论证依赖图的表示与度量框架，但未提供实证结果。
资讯摘要
该论文提出一个借助大语言模型表示和度量数学论证的框架，涵盖编号与非编号陈述、公式、假设和构造，区分源出现、上下文状态与推理记录，并保留来源证据和审阅状态。度量契约固定稿件版本、边界、粒度、证明选择与宏锚点；在有向无环图上以深度和 bulk 刻画结构，并给出考虑共享子论证的并集递推。作者提供评估设计而非实证结果，强调建议前提需数学验证。
要点速读
- 框架用编号与非编号陈述、公式、假设和构造表示数学论证，区分源出现、上下文状态与推理记录，依赖关系保留来源证据和审阅状态。
- 度量契约固定稿件版本、边界、粒度、证明选择与宏锚点；在选定的有限有向无环图上，深度为最长前提路径长度，bulk 统计不同祖先边。
- 论文给出考虑共享子论证的并集递推及保持深度与宏骨架的可达性条件，并说明无限制细化不一定保持深度或 bulk；作者提供的是评估设计而非实证证据。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/30 08:00:16（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。