arXiv cs.AI· Eunji Park·· 2 小时前AI 评分29
数学论证的依赖图：表示、结构度量与证明审查
Dependency Graphs of Mathematical Arguments: Representation, Structural Measurement, and Proof Review
AI 导读
一套借助 LLM 表示并度量数学论证的溯源式（source-grounded）框架被提出，涵盖编号与非编号陈述、公式、假设和构造，并区分源出现、上下文状态与推理记录。
来源：arXiv cs.AI · arxiv.org