Research
Dependency Graphs of Mathematical Arguments: Representation, Structural Measurement, and Proof Review
arXiv:2610.36776v1 Announce Type: new Abstract: We propose a source-grounded framework for representing and measuring mathematical arguments with assistance from large language models. It includes num
arXiv:2610.36776v1 Announce Type: new Abstract: We propose a source-grounded framework for representing and measuring mathematical arguments with assistance from large language models. It includes numbered and unnumbered statements, equations, assumptions, and constructions, distinguishing source occurrences from contextual states and inference records. Proposed dependencies retain source evidence and review status. A measurement contract fixes manuscript versions, boundaries, granularity, proof choices, and macro anchors. On a selected finite directed acyclic graph, depth is the longest prerequisite-path length, and bulk counts distinct ancestor edges. We give a union recurrence that accounts for shared subarguments and identify reachability conditions preserving depth and the macro skeleton; unrestricted refinement need not preserve depth or bulk. A standardized, versioned prompt protocol separates annotation discovery, deterministic recomputation, and review assistance. Cross-paper links support a research agenda on theorem co-use, rare combinations, and connections between dependency communities. These patterns motivate probabilistic premise suggestions and review of possible omissions or unchecked application conditions in human-written and AI-generated proofs. Further applications include source-linked reading support and comparison of individual and collaborative argument shapes. We provide an evaluation design rather than empirical evidence of these benefits. Suggested premises require mathematical validation, and the measures describe a specified representation rather than intrinsic mathematical difficulty, originality, or importance.
Related
- ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning
- How Significant Are the Real Performance Gains? An Unbiased Evaluation Framework for GraphRAG
- Graph Machine Learning in the Era of Large Language Models (LLMs)
- Structural Chain-of-Thought: Reasoning with Executable Computational Graphs
Source: arXiv cs.AI | 2026-10-28