Pith. sign in

Paper Citation Record · LEDGER

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning

As of 9 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 3 inbound Pith citation observations for arXiv:2511.19078.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2511.19078 v2

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-21T18:31:46.510611Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T21:56:44.562418Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-06-30T11:14:37.246261Z

Reference resolution

28 of 28 outbound references displayed

  • verified exact11
  • verified fuzzy1
  • unresolved15
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 779f377c-83f4-4636-99ce-7a3717bd0aad · outbound

This paper cites Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models

Reference 1

Resolution
verified exact
arxiv_id, observed 2026-05-21T18:34:17.953273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:9a33bc711516cf45a7011a117cb8a31b2dc7b7b9e80eca8f06c68a83562d5bca

Observation 3b53b61c-39ab-4a36-b9b1-2b1033ec64b3 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.525274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:85ffecc8825de3a3f37e0ed651e4a03b84b66a748de01b45eb53f84c10b90617

Observation d0802a44-181c-4fe7-90d1-779cc5046fbc · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.527374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:5b06238851b8049d895649c634601b02fb303379c8d61a23304783394bd987b4

Observation 6621e6a0-8197-476e-9dea-d71e8dced4a0 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.529526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:6302d95aa697ae13ade8542fe22dc25eeab561ce81630b16b12c084470272cd7

Observation 75e80f71-7d08-4a8d-81b0-e89451a1b581 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.545233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:3664eb749325709c970d34e40604e1222b2ea3ce9f2d66634d585d8820ce9db5

Observation 7ed88a64-5841-4500-91bf-53c91300aa63 · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Training Verifiers to Solve Math Word Problems

Reference 6

Resolution
verified exact
local_arxiv, observed 2026-05-21T18:34:17.961241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:7e0d6e188f41b3f4d48b3f7f1afc1a90fc9f41755f1929a3431e9c64613dc2d2

Observation 2a2f1f5d-51fb-4b8f-a49d-fc0103df2bea · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.517873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:49ff97b4fa6cf7bd4869d47a8167512e7c55f45f22c6a83716afe9fe59c41d10

Observation da667ddb-617f-4720-8e75-2966ccc9cd2c · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.501320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:93694c70281ed04a6f3e7c47a0a9a9a5b259f3306052bad11ad35c2b1a3d8225

Observation 225356bf-2e29-49d0-86ad-4c0da6695f66 · outbound

This paper cites InProceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers).

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning InProceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-05-21T18:34:18.507453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:0ba381c83403c51a6a328289b7c1ed9192dc03b5986196806a46a92528fc5728

Observation 8f8fc354-7767-4454-94c8-8435906fd91e · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.514352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:202eb9e359082e537dd1582d12329baf1138d416a0142e5d96a97b8aa8ee3a7e

Observation ed85de8c-dfce-4e4b-ba0a-e97c9f3582c2 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.520374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:32f3c9f05dee8ad42fb0d091197c6a5afb0317beb6ea67aa7018205006b68880

Observation f9e62fb5-fd2d-4091-aefd-d63abc248e29 · outbound

This paper cites High Dimensional Robust Consensus over Networks with Limited Capacity.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning High Dimensional Robust Consensus over Networks with Limited Capacity

Reference 12

Resolution
verified exact
arxiv_id, observed 2026-05-21T18:34:17.974842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:20addc6ec9bd3baaa0c47d94f55962e11d4d84f2feeb78d336a972ffcbba431e

Observation 01e4cb2e-1a46-42cb-8174-8be70dbe1849 · outbound

This paper cites GPT-4o System Card.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning GPT-4o System Card

Reference 13

Resolution
verified exact
local_arxiv, observed 2026-05-21T18:34:17.964374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:29f4ec6d7e438e75cb1f74d0caa5787d63c9fba7a1de1d5cf307a6abb25ae905

Observation 7026a9c9-83ec-4765-9f9a-3ee8484ab0f9 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 14

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.512066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:39dd1d6f6e21382d2bc586dd02521a01aa8abc4d6ff51a33c9a41ffba361dad6

Observation a8dd831a-452f-4eac-835b-2a900001023f · outbound

This paper cites Large Language Models are Zero-Shot Reasoners.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Large Language Models are Zero-Shot Reasoners

Reference 15

Resolution
verified exact
local_arxiv, observed 2026-05-21T18:34:17.941719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:d7853cb288631436c8aee9e8d3488340a36184ae86aac82ce8c55fd1bde7ab50

Observation 4f855756-1398-4415-990a-3e3dc4be03ea · outbound

This paper cites Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks

Reference 16

Resolution
verified exact
local_arxiv, observed 2026-05-21T18:34:17.934388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:80dfff1eb61824fbb03a5b3fc2047c14c551249b7219e4bf3a026bf51547271c

Observation 30ed0407-feea-4758-b574-f82ca49c3b9a · outbound

This paper cites Solving Quantitative Reasoning Problems with Language Models.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Solving Quantitative Reasoning Problems with Language Models

Reference 17

Resolution
metadata mismatch
local_arxiv, observed 2026-05-21T18:34:17.971557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T21:08:08.21276+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:294373168b42d9663a3ee8713c4cf0ac320a2436276c5a1db749abfb557c876a

Observation 843065bb-ba06-4d82-84a6-dc62c6d72d3e · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.539900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:348baaedc23a29831ad48c9ecf19261750c019be3e7b28190081af1e90854478

Observation 3c75b3c1-f145-413b-b2d9-ef1f192109f3 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.537586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:e0aac5cfe036e637d20683841d99c44d7a3f8e89e201723b0337207289552c65

Observation 67eae951-c950-469c-a9d5-8683a5eadc3f · outbound

This paper cites GPT-4 Technical Report.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning GPT-4 Technical Report

Reference 20

Resolution
verified exact
local_arxiv, observed 2026-05-21T18:34:17.967842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:c0fbdd78a73e76c89cb9276ac279d827a7c9fd32283cb32683c2429990c2bcf3

Observation 409a880e-031e-4be1-866e-44695bc0063d · outbound

This paper cites Graph Neural Prompting with Large Language Models.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Graph Neural Prompting with Large Language Models

Reference 21

Resolution
verified exact
arxiv_id, observed 2026-05-21T18:34:17.948909Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:928e3792b4ea715aaa1573e09a2337d4e1d8b04b53eb8aadba71d28e6b46bb1d

Observation 82900e71-a856-4c1b-95cd-298e740f3793 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.543153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:10a7b6bc4e8a3e76bbccf0d187273db2cec26f2426fbcf4cc0f21eaac251f1e6

Observation c05b89af-87d0-4a52-8cd8-d9972cbfc67c · outbound

This paper cites Self-Consistency Improves Chain of Thought Reasoning in Language Models.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Self-Consistency Improves Chain of Thought Reasoning in Language Models

Reference 23

Resolution
verified exact
local_arxiv, observed 2026-05-21T18:34:17.949281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:32c9b97364d636db87bff16e3f6f9f8990c1dbc1e5e4754857b051e76a07a29e

Observation 78311683-7081-4951-9888-7d6d1739b568 · outbound

This paper cites Chain-of-Thought Prompting Elicits Reasoning in Large Language Models.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Reference 24

Resolution
verified exact
local_arxiv, observed 2026-05-21T18:34:17.945681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:2b6010ef9abf80b3d53755f43e03ac45c544df6f0924fd75f1f1a95769005bea

Observation 4162e015-673a-42ae-bd0b-59b21bd62987 · outbound

This paper cites Sophia: A Scalable Stochastic Second-order Optimizer for Language Model Pre-training.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Sophia: A Scalable Stochastic Second-order Optimizer for Language Model Pre-training

Reference 25

Resolution
verified exact
arxiv_id, observed 2026-05-21T18:34:17.957013Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:62b6871de4737bdc29e520d503b784ef4cc3de095fe1381b0a4c0689858aa738

Observation 6cc0f2c6-0650-4069-b8c7-1b19edbdd919 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.531503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:59197ddc901e2f630cafcfd88c39b41ed7691281a709ce38e0a78ebb9d07e45e

Observation 540d903c-c2a4-4dc1-8847-56cb801b7552 · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.533645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:4f66e6f3ad29c799af5ec806653f4535c451c116f6a910703bcf5affc5c1deb7

Observation f29a4aaa-0ba2-40d9-bd12-883db1f7bd9a · outbound

This paper cites an unresolved cited work.

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-05-21T18:34:18.535685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-05-21T18:31:46.510611Z digest=sha256:975b7339b22d5c4e7f94c946abe9b68805c01263d7e6c2fc172bd4b96f1a857b

Pith citing papers

Observation 2909d057-3908-44e3-ac31-099e82b2e647 · inbound

Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4 cites this paper.

Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4 GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-02T21:56:44.562418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-02T21:56:44.562418Z digest=sha256:fd932c34485fd42527654de33cb0938a8f4879225eb71e4d074c59db20b71676

Observation 84f9f371-380f-4433-a35a-bf282dec1170 · inbound

Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models cites this paper.

Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning

Reference 5

Resolution
malformed identifier
local_arxiv, observed 2026-06-27T18:31:08.070946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-11T11:50:26.030339Z digest=sha256:17e5ed42e06a1e951d44462567554dffda3e75d27d1a586ee9a8637abdf29014

Observation 6d5dca4c-4c1e-42f5-b530-afa6ee404a41 · inbound

Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models cites this paper.

Inference-Time Conformal Reasoning with Valid Factuality Control for Large Language Models GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning

Reference 5

Resolution
malformed identifier
local_arxiv, observed 2026-06-30T11:14:37.247907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-11T11:50:26.030339Z digest=sha256:36d023134a3bf625d11cd75a212eb5ae0f86662fa7f8bc61ff1f93383643a116