Paper Citation Record · LEDGER

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

As of 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 1 inbound Pith citation observation for arXiv:2507.09751.

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

pith.paper-citation-record.v1
2507.09751 v3

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:59:18.294930Z

measured 23 of 23 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T05:47:20.673751Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact0
verified fuzzy6
unresolved15
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7f5feea8-18d8-4ec8-b943-0228d11b09bb · outbound

This paper cites Prepared usingsagej.cls Allen, Chhikara et al.33.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Prepared usingsagej.cls Allen, Chhikara et al.33

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:59:21.417127Z

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.

Observation 17830106-8de5-4ddb-a039-4552f43c5da8 · outbound

This paper cites Based on your analysis, determine whether the answer is verified and explain your reasoning with specific supporting evidence.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Based on your analysis, determine whether the answer is verified and explain your reasoning with specific supporting evidence

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:59:21.056199Z

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.

Observation fb799d02-4838-4024-9276-b6b951e13c6a · outbound

This paper cites Focus on building an affirmative case for why the answer is incorrect, rather than simply noting a lack of supporting evidence.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Focus on building an affirmative case for why the answer is incorrect, rather than simply noting a lack of supporting evidence

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:59:20.195404Z

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.

Observation 05a30a77-5f0e-4517-a9db-30ce0279a4d2 · outbound

This paper cites First man to walk on the Moon.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations First man to walk on the Moon

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:59:19.812808Z

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.

Observation 26f715ec-822c-4d15-bf30-0ac70eddfc5b · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:20.911918Z

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.

Observation fe9a1d01-7d6c-4c49-b7d7-1fefb83795ff · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:20.731563Z

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.

Observation 2ea136bc-c0b7-4b10-98b0-b6c3ed87b598 · outbound

This paper cites Focus on building an affirmative case for why the answer is incorrect, rather than simply noting a lack of supporting evidence.

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:59:19.674815Z

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.

Observation dcc146e0-6e72-465e-9750-1d527de5e8c0 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:19.537625Z

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.

Observation c1818bd8-7da0-4549-8103-a1f78e661c11 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:19.385313Z

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.

Observation 60b027b5-d125-44e5-be96-c7ed7f6c32b0 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:19.237818Z

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.

Observation 5384dcb7-69fa-4738-b12a-40673f8a7a6a · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:19.088310Z

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.

Observation 2855b2f3-e421-40f3-81ef-e2485987e6f5 · outbound

This paper cites negative_answers.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations negative_answers

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:59:18.933338Z

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.

Observation 59caaa8b-15d5-41e7-b903-01c4a4705203 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:18.616400Z

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.

Observation 27162598-997b-463e-b4ca-d4e872071aac · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:21.599203Z

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.

Observation 824a6ddf-dcfe-4619-9693-43468319f188 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:19.993920Z

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.

Observation f41cb00b-fed1-4ca5-9ff3-0454d208e9f2 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:21.286421Z

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.

Observation b20cbfc7-585a-445d-a268-147a79814cab · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:21.152472Z

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.

Observation aaf5ae13-2bf7-4a13-96f5-9b710f8edb62 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:18.797275Z

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.

Observation 83dc307b-89cf-4f61-a5cc-dd98b4919122 · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:20.562361Z

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.

Observation 8479954a-e8bd-4df9-8557-ba83ea6abaff · outbound

This paper cites an unresolved cited work.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:59:20.402142Z

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.

Observation 8283983d-75ed-4ba0-8a60-d1ee7770dd68 · outbound

This paper cites Who was the first man to walk on the Moon?.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Who was the first man to walk on the Moon?

Reference 42

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T17:59:18.472979Z

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.

Observation 10be0975-26f4-469d-81f7-832814bd0b2c · outbound

This paper cites Retrieval-Augmented Generation for Large Language Models: A Survey.

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations Retrieval-Augmented Generation for Large Language Models: A Survey

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-06T17:59:15.063347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b95b4c64-53b9-48d0-a2b7-b8dc190246ed · inbound

Discourse-Aware Policy Analysis with Argumentation: A Hybrid LLM-Symbolic Framework for Disaster Governance cites this paper.

Discourse-Aware Policy Analysis with Argumentation: A Hybrid LLM-Symbolic Framework for Disaster Governance Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-02T05:47:20.673751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.