cd/entity/TheoremGraph· home› entities› TheoremGraph
grep -l @theoremgraph /news/*.json | wc -l → 1

TheoremGraph

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

11:14
2026-06-30
theoremsearch.com
ai-research

TheoremGraph: Search 18M+ Mathematical Dependencies

Researchers at the University of Washington released TheoremGraph, a unified dependency graph spanning 18 million+ mathematical statements from arXiv papers and the Lean formal proof assistant. The gr…

// co-occurs with top 7 entities
arXiv 1 Mathlib 1 Lean 1 Simon Kurgan 1 Evan Wang 1 University of Washington 1 Qwen3 1
// topics top 5 topics
ai research 1 ai tools 1 large language models 1 natural language processing 1 ai infrastructure 1