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-09T06:31:02.800959+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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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:9a0742a43fd464dcb1b34737795eb98970bcb1145243ff80ddefa28d24a46fb7

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-07-11T11:50:26.030339Z digest=sha256:50741b5f2c540741871504478f13d24c92938a05083016078f5b7ada34b1be8b

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-07-11T11:50:26.030339Z digest=sha256:9a818369459e37ddc16c3c5fb2a53b1be0b484f0508768d9df800e2329881aa4