Paper Citation Record · LEDGER

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2307.07696.

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

pith.paper-citation-record.v1
2307.07696 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:42:36.546050Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T06:59:38.174347Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 03222c07-7d64-4896-9487-ce40a63789ae · inbound

Understanding the planning of LLM agents: A survey cites this paper.

Understanding the planning of LLM agents: A survey Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 53

Resolution: verified exact; arxiv_id, observed 2026-05-13T18:12:57.633208Z

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 93b819ae-a131-401d-8f02-8eff60aba3af · inbound

Building a Stable Planner: An Extended Finite State Machine Based Planning Module for Mobile GUI Agent cites this paper.

Building a Stable Planner: An Extended Finite State Machine Based Planning Module for Mobile GUI Agent Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T15:42:36.546050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df7f7fb6-2e69-4849-97e6-592633a9b22d · inbound

Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System cites this paper.

Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T20:39:06.851887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5422c0d3-2f0c-415e-bd88-9fda56bbb51e · inbound

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning cites this paper.

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T04:33:37.228612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de16d5cd-2ab5-4834-84ff-b58830444bac · inbound

Beyond the Surface: A Solution-Aware Retrieval Model for Competition-level Code Generation cites this paper.

Beyond the Surface: A Solution-Aware Retrieval Model for Competition-level Code Generation Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T12:56:33.063316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f566de1-13ab-4ea3-8f71-71c4e1d372a8 · inbound

LAST: Leveraging Tools as Hints to Enhance Spatial Reasoning for Multimodal Large Language Models cites this paper.

LAST: Leveraging Tools as Hints to Enhance Spatial Reasoning for Multimodal Large Language Models Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 43

Resolution: verified exact; arxiv_id, observed 2026-05-10T23:00:47.708841Z

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 823b7bbd-02ac-4366-b97a-a9794ff5a034 · inbound

Training the Orchestrator: A Supervised Approach to End-to-End PDDL Planning with LLM Agents cites this paper.

Training the Orchestrator: A Supervised Approach to End-to-End PDDL Planning with LLM Agents Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T06:59:38.175626Z

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.