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 numbered and unnumbered statements, equations, assumptions, and