Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
As of 4 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2404.11891.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-30T15:14:05.501476Z
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 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-04T06:34:03.388597+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-04T06:34:03.388597+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.