TheoremGraph builds a unified statement-level dependency graph across informal arXiv math and formal Lean code via parsing, embeddings, and LLM validation, releasing the data and APIs for search and retrieval.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
The α-index is a conserved position-weighted authorship framework with a senior-author penalty that decreases credit as the number of middle authors increases.
New expertise indices (x-index, x_d-index, bias-adjusted variants, category-adjusted x-index, inverse variance weighted x_d-index, and x_o-index) are proposed to capture institutional thematic research expertise beyond h- and g-indices, implemented via the xxdi R package.
citing papers explorer
-
TheoremGraph: Bridging Formal and Informal Mathematics
TheoremGraph builds a unified statement-level dependency graph across informal arXiv math and formal Lean code via parsing, embeddings, and LLM validation, releasing the data and APIs for search and retrieval.
-
The $\alpha$-Index: A Penalized Authorship-Integrity Framework for Position-Weighted Scientific Contribution
The α-index is a conserved position-weighted authorship framework with a senior-author penalty that decreases credit as the number of middle authors increases.
-
Expertise Indices: Variants, Modifications, Advancements, and Computational Tools in R
New expertise indices (x-index, x_d-index, bias-adjusted variants, category-adjusted x-index, inverse variance weighted x_d-index, and x_o-index) are proposed to capture institutional thematic research expertise beyond h- and g-indices, implemented via the xxdi R package.