Paper Citation Record · LEDGER

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic

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

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

pith.paper-citation-record.v1
2412.09666 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-11T17:02:39.259413Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

19 of 19 outbound references displayed

verified exact1
verified fuzzy9
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 84c3106b-6555-4c1b-8502-770acef72004 · outbound

This paper cites Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.189407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0818033d-ca84-405b-86b0-9c6658526154 · outbound

This paper cites Reasoning with Language Model is Planning with World Model.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Reasoning with Language Model is Planning with World Model

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.194585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09de62b6-0aba-41b7-86b4-1714d612fbe0 · outbound

This paper cites Tree of Thoughts: Deliberate Problem Solving with Large Language Models.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Tree of Thoughts: Deliberate Problem Solving with Large Language Models

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.198943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68308e4b-4d54-442b-b3ac-217d5890013d · outbound

This paper cites Large Language Model Guided Tree-of-Thought.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Large Language Model Guided Tree-of-Thought

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.203487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbfaa03b-6ece-4a48-b7e9-47f2c51fbc43 · outbound

This paper cites Reflexion: Language agents with verbal reinforcement learning.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Reflexion: Language agents with verbal reinforcement learning

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.494847Z

Source-reported events for the cited work

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

Observation 99443664-0a3c-4c1f-b2d9-8bb0aaeffb3c · outbound

This paper cites React: Synergizing reasoning and acting in language models.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic React: Synergizing reasoning and acting in language models

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.483796Z

Source-reported events for the cited work

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

Observation 83205075-4f78-43d5-8d42-675a9a4d7c16 · outbound

This paper cites Language models as zero-shot planners: Extracting actionable knowledge for embodied agents.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Language models as zero-shot planners: Extracting actionable knowledge for embodied agents

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.471518Z

Source-reported events for the cited work

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

Observation 60e2dc14-5b21-46ef-875b-0465bd4b011f · outbound

This paper cites Sadler, Wei-Lun Chao, and Yu Su.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Sadler, Wei-Lun Chao, and Yu Su

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.458237Z

Source-reported events for the cited work

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

Observation a720a1ea-93c9-4be7-abaa-8de8c38e26d4 · outbound

This paper cites SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.223912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7506c22-e065-4d64-b449-62190888d504 · outbound

This paper cites SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.227895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f667876-c370-4a49-8db2-0d352ef7bbbf · outbound

This paper cites Progprompt: Generating situated robot task plans using large language models.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Progprompt: Generating situated robot task plans using large language models

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.446472Z

Source-reported events for the cited work

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

Observation 8a40e117-49cd-4706-8b7d-56e9100c8514 · outbound

This paper cites AdaPlanner: Adaptive Planning from Feedback with Language Models.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic AdaPlanner: Adaptive Planning from Feedback with Language Models

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.235884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33d39e8e-a445-4f0e-809f-e9eadcdc3e73 · outbound

This paper cites Pre-trained language models for interactive decision-making.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Pre-trained language models for interactive decision-making

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.435013Z

Source-reported events for the cited work

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

Observation 35138cd5-7d6e-4a67-89b9-fa77d3803cd4 · outbound

This paper cites Describe, explain, plan and select: Interactive planning with large language models.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Describe, explain, plan and select: Interactive planning with large language models

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.424132Z

Source-reported events for the cited work

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

Observation 02890566-5dc5-4f0f-bade-efb32bcdcd21 · outbound

This paper cites Learning to reason with llms, 2024.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Learning to reason with llms, 2024

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.412900Z

Source-reported events for the cited work

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

Observation c868f753-97d6-403d-9057-8e88f4296cb6 · outbound

This paper cites Large Language Monkeys: Scaling Inference Compute with Repeated Sampling.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Large Language Monkeys: Scaling Inference Compute with Repeated Sampling

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.248612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8df953b-c60d-4eb7-a6f0-7353ebcb5678 · outbound

This paper cites Travelplanner: A benchmark for real-world planning with language agents.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic Travelplanner: A benchmark for real-world planning with language agents

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T17:02:39.252585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9a031c5-f891-4137-807c-f32aff60c6db · outbound

This paper cites PlanFitting: Personalized Exercise Planning with Large Language Model-driven Conversational Agent.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic PlanFitting: Personalized Exercise Planning with Large Language Model-driven Conversational Agent

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-11T17:02:39.294734Z

Source-reported events for the cited work

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

Observation f38d5e33-1c72-4b26-b622-32e052dd1f67 · outbound

This paper cites u chemann, Maria Bannert, Daryna Dementieva, Frank Fischer, Urs Gasser, Georg Groh, Stephan G \.

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic u chemann, Maria Bannert, Daryna Dementieva, Frank Fischer, Urs Gasser, Georg Groh, Stephan G \

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T17:02:39.392744Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.