Paper Citation Record · LEDGER

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

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

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

pith.paper-citation-record.v1
2404.11891 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 10 of 10 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:35:57.888260Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-09T00:45:49.163189Z

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 9020b38a-2db0-4e60-b0fb-8991ac1fce4d · inbound

Enhancing Function-Calling Capabilities in LLMs: Strategies for Prompt Formats, Data Integration, and Multilingual Translation cites this paper.

Enhancing Function-Calling Capabilities in LLMs: Strategies for Prompt Formats, Data Integration, and Multilingual Translation Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T04:43:32.701627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4619cc7b-433b-41b3-b67b-168abdf2f29d · inbound

Evolving Deeper LLM Thinking cites this paper.

Evolving Deeper LLM Thinking Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T19:39:10.466421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c77107a5-d934-4763-ab23-c24eb42ad01e · inbound

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance cites this paper.

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-09T12:16:27.391313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54d6228e-a8b9-4332-9b37-ca6c1548feb6 · inbound

Improving Large Language Model Planning with Action Sequence Similarity cites this paper.

Improving Large Language Model Planning with Action Sequence Similarity Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T04:35:57.888260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d39beac8-5272-4e4b-9eb2-e2966e62fd93 · inbound

Large Language Models for Planning: A Comprehensive and Systematic Survey cites this paper.

Large Language Models for Planning: A Comprehensive and Systematic Survey Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-07T14:11:56.555054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1529fd5-2f0b-4a99-93ad-55036da257b0 · inbound

TTPA: Token-level Tool-use Preference Alignment Training Framework with Fine-grained Evaluation cites this paper.

TTPA: Token-level Tool-use Preference Alignment Training Framework with Fine-grained Evaluation Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-07T14:07:03.055301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cdec26b-34bc-4a64-a0e7-c3bf4ea70704 · inbound

TripTailor: A Real-World Benchmark for Personalized Travel Planning cites this paper.

TripTailor: A Real-World Benchmark for Personalized Travel Planning Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T05:40:31.778551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 086466c0-c5ee-4fa8-8008-38bb86af0455 · inbound

Nidus: Externalized Reasoning for AI-Assisted Engineering cites this paper.

Nidus: Externalized Reasoning for AI-Assisted Engineering Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 7

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2e657624-74ab-4fd8-9741-4740f3d1a2bf · inbound

Beyond the Leaderboard: A Synthesis of Tool-Use, Planning, and Reasoning Failures in Large Language Model Agents cites this paper.

Beyond the Leaderboard: A Synthesis of Tool-Use, Planning, and Reasoning Failures in Large Language Model Agents Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-07-09T00:45:49.164575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation fd31b1a8-4763-4b4d-b38e-b7012488374a · inbound

TREK: A Travel Reasoning and Evaluation Kit for LLM Agents in Complex Trip Planning cites this paper.

TREK: A Travel Reasoning and Evaluation Kit for LLM Agents in Complex Trip Planning Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-30T15:14:05.501476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.