Property-Guided LLM Program Synthesis for Planning | Paper Citation Record

Observation 25145708-e72a-41b6-a8dc-0a507d75c19a · outbound

This paper cites Counterexample guided inductive synthesis modulo theories.

Property-Guided LLM Program Synthesis for Planning Counterexample guided inductive synthesis modulo theories

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.082776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation ae1a2d33-86ac-43d7-94f4-e8a5be88351b · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.080792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c202ad88-c303-4493-a7f5-8bb09cc67667 · outbound

This paper cites Pyperplan.https://doi.org/10.5281/zenodo.3700819.

Property-Guided LLM Program Synthesis for Planning Pyperplan.https://doi.org/10.5281/zenodo.3700819

Reference 3

Resolution: verified exact; doi, observed 2026-05-20T17:53:36.247514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 87658c23-b43e-439a-a46d-e35ad3f60fc5 · outbound

This paper cites Arfaee, Sandra Zilles, and Robert C.

Property-Guided LLM Program Synthesis for Planning Arfaee, Sandra Zilles, and Robert C

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.078762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4e77f6f8-4b1a-48eb-97ec-d709402438f0 · outbound

This paper cites Cambridge University Press.

Property-Guided LLM Program Synthesis for Planning Cambridge University Press

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.076601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation b31bc264-ce97-4804-a973-f4d6f99fe680 · outbound

This paper cites Understanding sample generation strategies for learning heuristic functions in classical planning.Journal of Artificial Intelligence Research, 80:243–271.

Property-Guided LLM Program Synthesis for Planning Understanding sample generation strategies for learning heuristic functions in classical planning.Journal of Artificial Intelligence Research, 80:243–271

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.074837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation e27c7ed1-975b-4091-a046-45d4b408aa42 · outbound

This paper cites Exploring and Benchmarking the Planning Capabilities of Large Language Models.

Property-Guided LLM Program Synthesis for Planning Exploring and Benchmarking the Planning Capabilities of Large Language Models

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-20T17:53:36.625395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation f6fc1ed7-f2d1-473b-8cc5-c338dd3648aa · outbound

This paper cites Planning as heuristic search.Artificial Intelligence, 129(1): 5–33.

Property-Guided LLM Program Synthesis for Planning Planning as heuristic search.Artificial Intelligence, 129(1): 5–33

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.072842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 013a5dbc-4f85-45e9-91e0-48a5d427598d · outbound

This paper cites Learning features and abstract actions for computing generalized plans.

Property-Guided LLM Program Synthesis for Planning Learning features and abstract actions for computing generalized plans

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.070663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 854c39a4-8e13-43e9-ac5c-d267f0d83e28 · outbound

This paper cites Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp, and Silvan Sievers.

Property-Guided LLM Program Synthesis for Planning Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp, and Silvan Sievers

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.068415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6fdd0b4d-e6cf-460f-bb1b-8fa447170975 · outbound

This paper cites Chen, Sylvie Thiébaux, and Felipe Trevizan.

Property-Guided LLM Program Synthesis for Planning Chen, Sylvie Thiébaux, and Felipe Trevizan

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.066244Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4862c135-b7be-47c2-a5e9-2ba2465285a3 · outbound

This paper cites Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies.

Property-Guided LLM Program Synthesis for Planning Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-20T17:53:36.636964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 956b2072-8be3-48ac-99e6-93b1721197f8 · outbound

This paper cites A unified theory of heuristic evaluation functions and its application to learning.

Property-Guided LLM Program Synthesis for Planning A unified theory of heuristic evaluation functions and its application to learning

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.064055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6997390a-5c39-4d85-94cc-f8a72538f030 · outbound

This paper cites Corrêa and Giuseppe De Giacomo.

Property-Guided LLM Program Synthesis for Planning Corrêa and Giuseppe De Giacomo

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.061919Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 25e758d9-3366-4d5f-ba3e-3813e0b10371 · outbound

This paper cites Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo, and Jendrik Seipp.

Property-Guided LLM Program Synthesis for Planning Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo, and Jendrik Seipp

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.059744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c3ee2415-5b6f-44c1-ad76-5c0f6ffd7ec6 · outbound

This paper cites Corrêa, André Grahl Pereira, and Jendrik Seipp.

Property-Guided LLM Program Synthesis for Planning Corrêa, André Grahl Pereira, and Jendrik Seipp

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.057691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 914b0782-cf5c-4313-a357-2d92e91944df · outbound

This paper cites Frontier Large Language Models Rival State-of-the-Art Planners.

Property-Guided LLM Program Synthesis for Planning Frontier Large Language Models Rival State-of-the-Art Planners

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-05-20T17:53:36.621534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation fa1323eb-6636-473e-a452-daa8668b661c · outbound

This paper cites Culberson.

Property-Guided LLM Program Synthesis for Planning Culberson

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.055686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 1432c204-a5f5-4440-a93e-6bd1f6fffe8a · outbound

This paper cites Novelty vs.

Property-Guided LLM Program Synthesis for Planning Novelty vs

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.053577Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4b4e9c92-20a4-4bd0-822d-6b0c0fe9f6fe · outbound

This paper cites Learning sketches for decomposing planning problems into subproblems of bounded width.

Property-Guided LLM Program Synthesis for Planning Learning sketches for decomposing planning problems into subproblems of bounded width

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.051828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation b2f231ab-3d5c-4494-8841-f0bd560ebb37 · outbound

This paper cites Expressing and exploiting subgoal structure in classical planning using sketches.Journal of Artificial Intelligence Research, 80: 171–208.

Property-Guided LLM Program Synthesis for Planning Expressing and exploiting subgoal structure in classical planning using sketches.Journal of Artificial Intelligence Research, 80: 171–208

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.049786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 7d3475ab-05dc-413b-a48a-dbb675a1da0f · outbound

This paper cites Nau, and V.

Property-Guided LLM Program Synthesis for Planning Nau, and V

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.047574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 300b0e6b-23c1-46e1-be05-90c664749cb9 · outbound

This paper cites Neural network heuristic functions for classical planning: Bootstrapping and comparison to other methods.

Property-Guided LLM Program Synthesis for Planning Neural network heuristic functions for classical planning: Bootstrapping and comparison to other methods

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.045495Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 3b43660d-400d-4adc-90e8-82581ac5cc9d · outbound

This paper cites Corrêa, Cedric Geissmann, and Florian Pommerening.

Property-Guided LLM Program Synthesis for Planning Corrêa, Cedric Geissmann, and Florian Pommerening

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.043573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 3280a39c-c838-45f3-acf5-1f5a474a4de4 · outbound

This paper cites Gemini 3.1 Pro model card.

Property-Guided LLM Program Synthesis for Planning Gemini 3.1 Pro model card

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.041755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 56202744-87aa-4ea1-91da-d4bc439ea3c2 · outbound

This paper cites Morgan Kaufmann.

Property-Guided LLM Program Synthesis for Planning Morgan Kaufmann

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.039515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 638588dc-70e2-40be-928d-14b964911ccb · outbound

This paper cites DecStar-2023.

Property-Guided LLM Program Synthesis for Planning DecStar-2023

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.037767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation a5cd0b56-3ec7-4f67-a09c-adda0c645d62 · outbound

This paper cites Leveraging pre-trained large language models to construct and utilize world models for model-based task planning.

Property-Guided LLM Program Synthesis for Planning Leveraging pre-trained large language models to construct and utilize world models for model-based task planning

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.033476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 0ada8620-9340-482c-bb8a-5f48231a83fd · outbound

This paper cites Guiding GBFS through learned pairwise rankings.

Property-Guided LLM Program Synthesis for Planning Guiding GBFS through learned pairwise rankings

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.035800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation e11c89d1-4b78-4625-8e7a-5fc5316e85ff · outbound

This paper cites Morgan & Claypool.

Property-Guided LLM Program Synthesis for Planning Morgan & Claypool

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.031041Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation dc244563-a07f-4d3b-b18d-9b1f846140c5 · outbound

This paper cites The Fast Downward planning system.Journal of Artificial Intelligence Research, 26:191–246.

Property-Guided LLM Program Synthesis for Planning The Fast Downward planning system.Journal of Artificial Intelligence Research, 26:191–246

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.159338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation d188a04e-f2f5-4129-9281-34b5bdeb387e · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.028877Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 97611b60-ee87-4a2f-a546-fab01d432460 · outbound

This paper cites The FF planning system: Fast plan generation through heuristic search.Journal of Artificial Intelligence Research, 14:253–302.

Property-Guided LLM Program Synthesis for Planning The FF planning system: Fast plan generation through heuristic search.Journal of Artificial Intelligence Research, 14:253–302

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.000513Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 5a9dd027-7036-419f-9a3e-670ab7759162 · outbound

This paper cites Chasing Progress, Not Perfection: Revisiting Strategies for End-to-End LLM Plan Generation.

Property-Guided LLM Program Synthesis for Planning Chasing Progress, Not Perfection: Revisiting Strategies for End-to-End LLM Plan Generation

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-20T17:53:36.633831Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2f68d0f7-a162-475b-a3bd-66c016e4205e · outbound

This paper cites Seshia, and Ashish Tiwari.

Property-Guided LLM Program Synthesis for Planning Seshia, and Ashish Tiwari

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.024322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 8e499ff4-1da3-482c-b395-05c4556174dc · outbound

This paper cites Competition-Level Code Generation with AlphaCode.

Property-Guided LLM Program Synthesis for Planning Competition-Level Code Generation with AlphaCode

Reference 36

Resolution: metadata mismatch; local_arxiv, observed 2026-05-20T17:53:36.618462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6afb8179-bb51-44c5-abff-6ca73861c2cc · outbound

This paper cites Best-first width search: Exploration and exploitation in classical planning.

Property-Guided LLM Program Synthesis for Planning Best-first width search: Exploration and exploitation in classical planning

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.013232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 196c9473-0cad-43be-92b7-18a048b3544d · outbound

This paper cites LLM+P: Empowering Large Language Models with Optimal Planning Proficiency.

Property-Guided LLM Program Synthesis for Planning LLM+P: Empowering Large Language Models with Optimal Planning Proficiency

Reference 38

Resolution: verified exact; local_arxiv, observed 2026-05-20T17:53:36.629121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 287a5a70-dd09-48a3-8dd4-a5941eedd9a8 · outbound

This paper cites Evolution of heuristics: Towards efficient automatic algorithm design using large language model.

Property-Guided LLM Program Synthesis for Planning Evolution of heuristics: Towards efficient automatic algorithm design using large language model

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.055075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 774164db-df59-407c-b6b4-91aa46a7b970 · outbound

This paper cites The 1998 AI Planning Systems competition.AI Magazine, 21(2):35–55.

Property-Guided LLM Program Synthesis for Planning The 1998 AI Planning Systems competition.AI Magazine, 21(2):35–55

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.005007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation a9764014-6f3e-4d78-8688-7bcc7ce5a3e4 · outbound

This paper cites GenePlan: Evolv- ing better generalized PDDL plans using large language models.

Property-Guided LLM Program Synthesis for Planning GenePlan: Evolv- ing better generalized PDDL plans using large language models

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.002738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 0963a55e-fc6d-44f2-8425-bf1a825465c5 · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

Property-Guided LLM Program Synthesis for Planning AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 42

Resolution: verified exact; local_arxiv, observed 2026-05-20T17:53:36.615370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 88429851-1527-438f-96da-f8ae86a82aba · outbound

This paper cites Manquinho.

Property-Guided LLM Program Synthesis for Planning Manquinho

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:36.998119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation de391d0d-6f22-4dd2-b835-877a47e8cff3 · outbound

This paper cites Large language models as planning domain generators.

Property-Guided LLM Program Synthesis for Planning Large language models as planning domain generators

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.022036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6127c047-0b9f-4b3c-96fd-7d43d67ed789 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.015354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 385e0db7-788f-49ad-9f06-51d05a21a042 · outbound

This paper cites Addison- Wesley.

Property-Guided LLM Program Synthesis for Planning Addison- Wesley

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.156935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4910ce14-7e90-42f0-a9bf-2893585466ab · outbound

This paper cites First results on the effect of error in heuristic search.

Property-Guided LLM Program Synthesis for Planning First results on the effect of error in heuristic search

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.152614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 44b21db0-122d-4e46-a156-6f16d8ca4e35 · outbound

This paper cites From non-negative to general operator cost partitioning.

Property-Guided LLM Program Synthesis for Planning From non-negative to general operator cost partitioning

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.150630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation d12a92d4-bca6-437d-9a1e-f1c5105347ea · outbound

This paper cites The LAMA planner: Guiding cost-based anytime planning with landmarks.Journal of Artificial Intelligence Research, 39:127–177.

Property-Guided LLM Program Synthesis for Planning The LAMA planner: Guiding cost-based anytime planning with landmarks.Journal of Artificial Intelligence Research, 39:127–177

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.148626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation bb152d64-3d6e-4406-8e42-d3b9f67e97e0 · outbound

This paper cites Pawan Kumar, Emilien Dupont, Francisco J.

Property-Guided LLM Program Synthesis for Planning Pawan Kumar, Emilien Dupont, Francisco J

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.146573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation de333a76-8885-41c3-9fd1-90cb5bccd4e3 · outbound

This paper cites Learning general policies for planning through GPT models.

Property-Guided LLM Program Synthesis for Planning Learning general policies for planning through GPT models

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.019828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 1614ccf2-259e-46f4-8e18-69a76ef2973d · outbound

This paper cites Learning from multiple heuristics.

Property-Guided LLM Program Synthesis for Planning Learning from multiple heuristics

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.057493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation e7e05600-991f-4242-b02a-392ff883a406 · outbound

This paper cites Some studies in machine learning using the game of checkers.IBM Journal of research and development.

Property-Guided LLM Program Synthesis for Planning Some studies in machine learning using the game of checkers.IBM Journal of research and development

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.144384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 3dadd9b9-69fb-482d-81d4-d4e1ae5e3171 · outbound

This paper cites Correlation complex- ity of classical planning domains.

Property-Guided LLM Program Synthesis for Planning Correlation complex- ity of classical planning domains

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.142159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation ee3411d4-3878-48e9-8a7d-21fe1885b1d6 · outbound

This paper cites Downward Lab.

Property-Guided LLM Program Synthesis for Planning Downward Lab

Reference 55

Resolution: verified exact; doi, observed 2026-05-20T17:53:36.250088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation a013bc16-5a3d-4746-8400-c7c50bd454c2 · outbound

This paper cites Learning domain-independent planning heuristics with hypergraph networks.

Property-Guided LLM Program Synthesis for Planning Learning domain-independent planning heuristics with hypergraph networks

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.140112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4805a3c5-c385-40b6-836f-ccdd7ebc58b2 · outbound

This paper cites Rabbah, Rastislav Bodík, and Kemal Ebcioglu.

Property-Guided LLM Program Synthesis for Planning Rabbah, Rastislav Bodík, and Kemal Ebcioglu

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.138290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 9288331d-4a89-45d2-9873-cbce34735407 · outbound

This paper cites Learning general optimal policies with graph neural networks: Expressive power, transparency, and limits.

Property-Guided LLM Program Synthesis for Planning Learning general optimal policies with graph neural networks: Expressive power, transparency, and limits

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.136253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 1e07b3c5-b27f-4603-8d3a-624c77d7362d · outbound

This paper cites Chain of thoughtlessness? an analysis of CoT in planning.

Property-Guided LLM Program Synthesis for Planning Chain of thoughtlessness? an analysis of CoT in planning

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.134113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 0e42d265-39f3-4058-9305-bd234e904e4d · outbound

This paper cites The 2023 International Planning Competition.AI Magazine, 45(2):280–296.

Property-Guided LLM Program Synthesis for Planning The 2023 International Planning Competition.AI Magazine, 45(2):280–296

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.157143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 7717aa0c-be5f-4b3f-a61a-708a1ce967ec · outbound

This paper cites The 2023 International Planning Competition , year =.

Property-Guided LLM Program Synthesis for Planning The 2023 International Planning Competition , year =

Reference 61

Resolution: verified exact; doi, observed 2026-05-20T17:53:36.244949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2bb74cec-1e12-4334-8a28-0569e5d5a634 · outbound

This paper cites LLMs as planning formalizers: A survey for leveraging large language models to construct automated planning models.

Property-Guided LLM Program Synthesis for Planning LLMs as planning formalizers: A survey for leveraging large language models to construct automated planning models

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.152914Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 514d2d9b-68fb-4a83-bf67-80298eacaf4a · outbound

This paper cites Successor-generator planning with LLM-generated heuristics.

Property-Guided LLM Program Synthesis for Planning Successor-generator planning with LLM-generated heuristics

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.150837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 0c80c191-ca5f-44fc-b75b-afe9bd7b2741 · outbound

This paper cites PlanBench: An extensible benchmark for evaluating large language models on planning and reasoning about change.

Property-Guided LLM Program Synthesis for Planning PlanBench: An extensible benchmark for evaluating large language models on planning and reasoning about change

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.148814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation b42b268a-d6de-4dde-9df5-acc30a2f61d7 · outbound

This paper cites On the planning abilities of large language models - A critical investigation.

Property-Guided LLM Program Synthesis for Planning On the planning abilities of large language models - A critical investigation

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.146790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 032b4015-3b8f-4be5-a2b5-282eda9e557f · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 66

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.144631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation bb8eb64b-d3db-4c33-9466-47115df6ae4a · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 67

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.142971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation f1d6a4e5-e857-4abf-af03-b53b1833031f · outbound

This paper cites All states that DFS can reach must contain an i m p r o v i n g s u c c e s s o r.

Property-Guided LLM Program Synthesis for Planning All states that DFS can reach must contain an i m p r o v i n g s u c c e s s o r

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.140887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation e633b432-0d64-457d-94c3-96b97fd72656 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 69

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.139022Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation cb799aa9-46b2-4914-91ee-c36553afdde9 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 70

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.137082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation b4ac47eb-85d8-4ba2-9b9d-ec9680097ee1 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 71

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.135029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 3908af74-01f6-4856-a565-d80cee499352 · outbound

This paper cites </ previous - heuristic - code > I t e r a t i o n 1: - Prompt Type : Pr ope rt y - Main Idea.

Property-Guided LLM Program Synthesis for Planning </ previous - heuristic - code > I t e r a t i o n 1: - Prompt Type : Pr ope rt y - Main Idea

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.133366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation bf7d7f22-7f2e-435d-8719-252f524ae95f · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.131253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 49d3942f-b90b-4b85-b610-a9420b11a30b · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.129468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6652a54c-3db0-42a1-aece-89e289d8c810 · outbound

This paper cites </ previous - heuristic - code > I t e r a t i o n 2: - Prompt Type : Pr ope rt y - Main Idea.

Property-Guided LLM Program Synthesis for Planning </ previous - heuristic - code > I t e r a t i o n 2: - Prompt Type : Pr ope rt y - Main Idea

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.127713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c75350bd-7d49-497c-a99a-f4cbab47aec8 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 76

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.125433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 3abc1697-9b89-4f38-bc34-224d1b8e08ba · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 77

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.123204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6dfacae2-01ae-4bd6-bb89-1691028dc121 · outbound

This paper cites </ previous - heuristic - code > </ previous - iterations > < current - status > Domain P ro gre ss : solving 99 i n s t a n c e s of i n c r e a s i n g d i f f i c u l t y.

Property-Guided LLM Program Synthesis for Planning </ previous - heuristic - code > </ previous - iterations > < current - status > Domain P ro gre ss : solving 99 i n s t a n c e s of i n c r e a s i n g d i f f i c u l t y

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.121159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c5ca21eb-fce1-4277-b338-6c0301d2e50c · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 79

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.118850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 56546938-e0c4-4947-9644-5dffa97bc3fb · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 80

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.117040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 23cf1158-761c-4509-b448-b46c8c457c6e · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 81

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.115019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 9c78f4d0-7d3b-4b53-b2e5-9910fd3377cc · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 82

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.112978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 9fd6d3df-52cb-4ada-aeff-d98cc11934bf · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.110902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 6b418a4a-674a-477e-b4f0-d27e2cd05fe1 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 84

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.108788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation b0672642-9595-4e1d-918e-f7b380418f03 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 85

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.106850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 2974adc5-9846-42c0-a663-34e598fecfd0 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 86

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.104988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation cd41cdfc-29e7-4aa8-bed4-e07ff49dfce0 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 87

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.103226Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 4857cf4e-ee2b-4cfd-84b1-0417d7b775d7 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 88

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.101395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 81389951-8f8b-44f9-96fa-e720f53d6f81 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 89

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.099598Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation ea74d028-37dd-4044-8d0f-57726ff1e2d2 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 90

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.097582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 12396894-69c3-482a-8150-9f75656bd9e3 · outbound

This paper cites </ heuristic - code - file > This is the PDDL domain file of the b l o c k s w o r l d domain : < domain - file >.

Property-Guided LLM Program Synthesis for Planning </ heuristic - code - file > This is the PDDL domain file of the b l o c k s w o r l d domain : < domain - file >

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.095114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c8360715-43b2-41d3-8319-1abba77b9743 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 92

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.092617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation c9ceb35f-0428-4a08-9fdf-02b06e4994dc · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 93

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.089995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation 225f1d2d-69ca-4fda-862d-2b54c8f26186 · outbound

This paper cites an unresolved cited work.

Property-Guided LLM Program Synthesis for Planning Unresolved cited work

Reference 94

Resolution: unresolved; raw_fallback, observed 2026-05-20T17:53:37.087585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Observation ec073569-8478-4a36-95af-c869bd511557 · outbound

This paper cites </ checklist > < final - instruction > Return a new h e u r i s t i c fun ct io n code that s a t i s f i e s the direct p ro per ty in the ins ta nc e in < task - file > as well.

Property-Guided LLM Program Synthesis for Planning </ checklist > < final - instruction > Return a new h e u r i s t i c fun ct io n code that s a t i s f i e s the direct p ro per ty in the ins ta nc e in < task - file > as well

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-05-20T17:53:37.085471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers