{"id":"arxiv/2606.25363","url":"https://arxiv.org/abs/2606.25363","tags":["cs.IR","cs.AI","math.HO"],"score":0,"title":"TheoremGraph: Bridging Formal and Informal Mathematics","domain":"cs.IR","source":"arxiv","authors":["Simon Kurgan","Evan Wang","Eric Leonen","Sophie Szeto","Luke Alexander","Artemii Remizov","Jarod Alper","Giovanni Inchiostro","Vasily Ilin"],"reviews":0,"subject":"cs.IR","summary":"Mathematical knowledge is organized around statements and their dependencies, but this structure is exposed unevenly: informal papers cite mostly at the document level, while formal libraries record fine-grained dependencies over a much smaller body of mathematics. We introduce TheoremGraph, a unified statement-level dependency graph spanning both informal and formal mathematics. On the informal side, we parse 11.7M theorem-like environments from mathematics arXiv and recover 18.3M candidate directed dependencies, each labeled by the extractor that proposed it so downstream users can trade…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}