arXiv · AI· Eunji Park·· 5 小时前AI 评分24
利用 LLM 辅助表示、测量及审查数学论证依赖图
Dependency Graphs of Mathematical Arguments: Representation, Structural Measurement, and Proof Review
AI 导读
提出基于源文本的框架，利用 LLM 辅助表示和测量数学论证，支持有限有向无环图依赖分析。 该框架区分源文本与上下文状态，定义测量合约固定版本与粒度，计算路径深度及祖先边数量。 旨在提供版本化提示词协议与评估设计，促进定理共现分析及生成式证明审查。
来源：arXiv · AI · arxiv.org