AIBullisharXiv – CS AI · 6h ago7/10
🧠
TheoremGraph: Bridging Formal and Informal Mathematics
Researchers introduce TheoremGraph, a unified dependency graph linking 11.7M informal mathematical statements from arXiv with 388,105 formal Lean 4 declarations through semantic embeddings. The infrastructure bridges the historically fragmented landscape of mathematical knowledge representation, enabling improved discovery and reasoning across both informal academic papers and formally verified mathematics.
🏢 Hugging Face