Paper Citation Record · LEDGER

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language

As of 10 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 3 inbound Pith citation observations for arXiv:2505.16114.

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

pith.paper-citation-record.v1
2505.16114 v1

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:09:34.858816Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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-05T18:08:41.198061Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T04:30:55.958868Z

Reference resolution

19 of 19 outbound references displayed

verified exact0
verified fuzzy5
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f8af759c-3067-42cd-ab7f-d8b35df9c5a2 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:37.835932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 850bdf49-880b-4d67-b335-9fdf5ff1615d · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:37.566101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3f553fb7-8e5c-4a31-a712-395c2a7dda6f · outbound

This paper cites Hitori” means “alone.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Hitori” means “alone

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:09:37.231076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation dbaad073-1564-4c56-93fd-917cf621db01 · outbound

This paper cites eliminated.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language eliminated

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:09:36.477849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 01ee3824-5dcf-489e-9cd3-0d9eae2c2c63 · outbound

This paper cites Decide whether a given action is legal in the initial state.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Decide whether a given action is legal in the initial state

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:09:35.029994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1ab5237a-f8f6-4bd4-8a6c-4bd0aa7f4d4f · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:37.018672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 676ff5c7-463b-4158-8a4c-ecb085e68037 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:36.773968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6e4b770c-3f64-4bcb-9746-eec90f0d9a3f · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:36.631708Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 46518d0e-e578-4ac1-b9f6-dc4b4b5b3a81 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:36.349341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0630e030-efb0-4683-b480-42c72fcde8a6 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:36.225389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6135417e-047a-4912-8ae8-b5cdbd608b0f · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:36.082246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ca9f5332-0869-432d-bf0d-e73b8260c140 · outbound

This paper cites Figure 11 presents a question-answer pair of the Fillomino puzzle.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Figure 11 presents a question-answer pair of the Fillomino puzzle

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:09:35.934827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c8f10e16-ba9b-44ea-a92f-949e92f0ba03 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:35.732690Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 638c7833-6982-4e0d-9547-44ac74beb701 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:35.580103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fa2f9cd9-00d4-4589-8ab4-9e3d395442f6 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:35.416147Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation eb329215-f4bf-44c6-8748-40368004f377 · outbound

This paper cites an unresolved cited work.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:09:35.223288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 99c4ac9b-08ef-4b1f-adcb-a49110c9dc59 · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language LLaMA: Open and Efficient Foundation Language Models

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-07T15:09:33.502289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9472ff6d-3e5e-4682-87b4-eadcd4f7c1f0 · outbound

This paper cites Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Claire Cui, Olivier Bousquet, Quoc V Le, and Ed H.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Claire Cui, Olivier Bousquet, Quoc V Le, and Ed H

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:09:38.097493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e5793fa4-d31e-44e1-93aa-a48b83e951d0 · outbound

This paper cites DeepSeek-V3 Technical Report.

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language DeepSeek-V3 Technical Report

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-07T15:09:33.448679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 1214942c-ecf5-45eb-8ecb-0b406473a2b1 · inbound

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data cites this paper.

PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T18:08:41.198061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e9167ce-6ebd-45c6-9b4e-965e1fac6b12 · inbound

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning cites this paper.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.472815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40641268-b43d-43fc-aa56-436eebee982d · inbound

SOM: Structured Opponent Modeling for LLM-based Agents via Structural Causal Model cites this paper.

SOM: Structured Opponent Modeling for LLM-based Agents via Structural Causal Model Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-11T04:30:55.961558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.