arXiv · cs.AI· Eunji Park·· 20 小时前AI 评分22
数学论证依赖图：表示、结构度量与证明审查
Dependency Graphs of Mathematical Arguments: Representation, Structural Measurement, and Proof Review
来源与原文
arXiv · cs.AI
作者：Eunji Park
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.36776v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
Eun-Ji Park 在 arXiv 提出一个借助大语言模型（LLM）对数学论证进行来源锚定表示与度量的框架，将陈述、公式、假设等建模为有向无环图，依赖边保留来源证据与审查状态。框架定义深度（最长前提路径长度）与 bulk（不同祖先边数），给出处理共享子论证的 union 递归式，并采用版本化提示词协议区分标注发现、确定性重算与审查辅助。作者提供了评估设计而非实证证据，并强调前提建议需数学验证。
来源：arXiv · cs.AI · arxiv.org