Paper Citation Record · LEDGER

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

As of 15 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-14T06:32:32.682623+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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.

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.

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-14T06:32:32.682623+00:00.

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-14T06:32:32.682623+00:00.