Paper Citation Record · LEDGER

On LLM-generated Logic Programs and their Inference Execution Methods

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

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

pith.paper-citation-record.v1
2502.09209 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T22:20:50.616361Z

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

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 exact5
verified fuzzy3
unresolved12
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d61a14b0-fbd5-4a6f-b004-b86ca971b118 · outbound

This paper cites Theory and Practice of Logic Programming 18(3-4), pp.

On LLM-generated Logic Programs and their Inference Execution Methods Theory and Practice of Logic Programming 18(3-4), pp

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.529683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca8d0b25-c1a9-46ad-8626-21b95e775636 · outbound

This paper cites Artificial Intelligence 303, p.

On LLM-generated Logic Programs and their Inference Execution Methods Artificial Intelligence 303, p

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.534367Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65faa5e3-99b9-479a-a4a9-653ebbed6252 · outbound

This paper cites Available at https://github.com/hwchase17/langchain.

On LLM-generated Logic Programs and their Inference Execution Methods Available at https://github.com/hwchase17/langchain

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:20:51.155139Z

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 21d94905-0934-4d79-a617-48447ff85351 · outbound

This paper cites Learning Invariants through Soft Unification.

On LLM-generated Logic Programs and their Inference Execution Methods Learning Invariants through Soft Unification

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-07T22:20:50.897087Z

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 729c6c8f-a84e-4267-93bc-9746098b6ca3 · outbound

This paper cites In: IJCAI, 7, pp.

On LLM-generated Logic Programs and their Inference Execution Methods In: IJCAI, 7, pp

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T22:20:51.051357Z

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 620a9935-c4d5-4f90-a2af-f0f1dc6c38ed · outbound

This paper cites Dowling & Jean H.

On LLM-generated Logic Programs and their Inference Execution Methods Dowling & Jean H

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.551253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8357e19e-db19-4247-a76f-bac84f410fe1 · outbound

This paper cites (2020): Retrieval-augmented generation for knowledge-intensive nlp tasks.

On LLM-generated Logic Programs and their Inference Execution Methods (2020): Retrieval-augmented generation for knowledge-intensive nlp tasks

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:20:51.144511Z

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 7510e068-3913-4ae6-9d6b-2c7f3bcda31f · outbound

This paper cites Let's Verify Step by Step.

On LLM-generated Logic Programs and their Inference Execution Methods Let's Verify Step by Step

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.559892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 395e484f-51fe-489b-8480-db9b13f67e71 · outbound

This paper cites Deductive Verification of Chain-of-Thought Reasoning.

On LLM-generated Logic Programs and their Inference Execution Methods Deductive Verification of Chain-of-Thought Reasoning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.564246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e6d60d4-c048-44b0-96f5-4b26feb2e58c · outbound

This paper cites 14 On LLM-generated Logic Programs and their Inference Execution Methods.

On LLM-generated Logic Programs and their Inference Execution Methods 14 On LLM-generated Logic Programs and their Inference Execution Methods

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:20:51.133745Z

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 2dacf83d-1242-4b67-936a-6556563e1ddd · outbound

This paper cites New Generation Computing 40(1), pp.

On LLM-generated Logic Programs and their Inference Execution Methods New Generation Computing 40(1), pp

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T22:20:50.857296Z

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 9f319a2c-64ec-40fd-91b0-acf65343c15c · outbound

This paper cites In Kentaro Inui, Jing Jiang, Vincent Ng & Xiaojun Wan, editors: EMNLP/IJCNLP (1) , As- sociation for Computational Linguistics, pp.

On LLM-generated Logic Programs and their Inference Execution Methods In Kentaro Inui, Jing Jiang, Vincent Ng & Xiaojun Wan, editors: EMNLP/IJCNLP (1) , As- sociation for Computational Linguistics, pp

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.577262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b20f2c96-87f1-4609-97f3-31ddbcff4810 · outbound

This paper cites In Gang Li, Yong Ge, Zili Zhang, Zhi Jin & Michael Blumenstein, editors: Knowledge Science, Engineering and Management , Springer International Publishing, Cham, pp.

On LLM-generated Logic Programs and their Inference Execution Methods In Gang Li, Yong Ge, Zili Zhang, Zhi Jin & Michael Blumenstein, editors: Knowledge Science, Engineering and Management , Springer International Publishing, Cham, pp

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-07T22:20:50.581146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e048eeff-7bb9-4281-8d7e-a35495b54edc · outbound

This paper cites Neuro-Symbolic Artificial Intelligence: Current Trends.

On LLM-generated Logic Programs and their Inference Execution Methods Neuro-Symbolic Artificial Intelligence: Current Trends

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.584744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06911c58-33e2-4c81-a803-c76d0d4d3d51 · outbound

This paper cites RAPTOR: Recursive Abstractive Processing for Tree-Organized Retrieval.

On LLM-generated Logic Programs and their Inference Execution Methods RAPTOR: Recursive Abstractive Processing for Tree-Organized Retrieval

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.588942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdf777a6-e98b-49cb-897e-a787223af8e1 · outbound

This paper cites Schaefer (1978): The complexity of satisfiability problems.

On LLM-generated Logic Programs and their Inference Execution Methods Schaefer (1978): The complexity of satisfiability problems

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.593093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5627baac-5dd4-4a8c-9340-af6542c71e4c · outbound

This paper cites an unresolved cited work.

On LLM-generated Logic Programs and their Inference Execution Methods Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T22:20:50.811975Z

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 29026b1e-8ecc-41f0-8366-d55237e91994 · outbound

This paper cites Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles.

On LLM-generated Logic Programs and their Inference Execution Methods Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.600421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb46f57c-453a-4ce4-bb8d-f3e97181a262 · outbound

This paper cites an unresolved cited work.

On LLM-generated Logic Programs and their Inference Execution Methods Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.604914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 784b941a-9103-4808-8098-77e59928c834 · outbound

This paper cites In Jeremy Gibbons & Dale Miller, editors: Functional and Logic Programming, Springer Nature Singapore, Singapore, pp.

On LLM-generated Logic Programs and their Inference Execution Methods In Jeremy Gibbons & Dale Miller, editors: Functional and Logic Programming, Springer Nature Singapore, Singapore, pp

Reference 20

Resolution: verified exact; doi, observed 2026-08-07T22:20:50.790149Z

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 4a11af6f-d007-4b74-b2b4-f60e22248dab · outbound

This paper cites Theory Pract.

On LLM-generated Logic Programs and their Inference Execution Methods Theory Pract

Reference 21

Resolution: verified exact; doi, observed 2026-08-07T22:20:50.776455Z

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 bace4e9b-de96-4fe4-b077-0821d2a02fe4 · outbound

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

On LLM-generated Logic Programs and their Inference Execution Methods Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T22:20:50.616361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.