{"as_of":"2026-08-09T06:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4908c4e30ebec2d5b720a329970f8796451e8fa76b55c3e6efb1191df8355c83","coverage":[{"denominator":95,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":95,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-20T17:50:16.418931Z","state":"measured"},{"denominator":96,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":96,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T22:34:18.444913Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.16142","snapshot_observed_at":"2026-08-01T22:34:18.444913Z","title":"Property-guided llm program synthesis for planning.arXiv preprint arXiv:2605.16142,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.444913Z"},"links":{"cited_paper":"/paper/2605.16142","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:863d567f454f978a1b67656cfa616b9e1428939122b4dd37ea6ec6f78c33ed2f","observation_id":"69d58909-121b-483f-8482-3d033d542863","resolution":{"observed_at":"2026-08-01T22:34:18.444913Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.16142/citation-record","integrity":"/paper/2605.16142/integrity","json":"/paper/2605.16142/citation-record.json","paper":"/paper/2605.16142"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Counterexample guided inductive synthesis modulo theories","venue":null,"work_id":"45c8d30b-e4c7-4b3f-b58f-d7181ee24fc6","year":2018},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:8df08926416ef599721a9abb2af10c8b0b6eadd3f7772239d949dd4ed7e31591","observation_id":"25145708-e72a-41b6-a8dc-0a507d75c19a","resolution":{"observed_at":"2026-05-20T17:53:37.082776Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5479f70e-e433-4fac-bdb0-229bc114aea8","year":2022},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:4d0b98e1eae53cf246ffef3141c4a99deebe9fe14d4b63ddcbc09c2bf61d11fc","observation_id":"ae1a2d33-86ac-43d7-94f4-e8a5be88351b","resolution":{"observed_at":"2026-05-20T17:53:37.080792Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.3700819","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Pyperplan.https://doi.org/10.5281/zenodo.3700819","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"1c8a92b6-a223-4f56-bb4a-91730f240707","year":2020},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:69005a3a241c8ae1427b2a47153f4ea82918b74976c854dd5afa748d865bd3df","observation_id":"c202ad88-c303-4493-a7f5-8bb09cc67667","resolution":{"observed_at":"2026-05-20T17:53:36.247514Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-05-24T01:56:26.150506+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T01:56:26.150506+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Arfaee, Sandra Zilles, and Robert C","venue":null,"work_id":"96c16d10-6c6d-4d58-b925-747640b2477d","year":2075},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:77a8767ddc29d654f723ceedbbf790bd84be6244100fe1fe6bc6114c0631ba74","observation_id":"87658c23-b43e-439a-a46d-e35ad3f60fc5","resolution":{"observed_at":"2026-05-20T17:53:37.078762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Cambridge University Press","venue":null,"work_id":"f7e87e60-0d1a-4f20-a4f9-d63d8ce3520f","year":2017},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:7f5d060e524a6655fcc6c9e9314630f93a57f8446147b6ec8478b5140b039628","observation_id":"4e77f6f8-4b1a-48eb-97ec-d709402438f0","resolution":{"observed_at":"2026-05-20T17:53:37.076601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Understanding sample generation strategies for learning heuristic functions in classical planning.Journal of Artificial Intelligence Research, 80:243–271","venue":null,"work_id":"46aaeb5b-33b9-4895-b067-6a6def7c24b5","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:a3cdbc803c68f1eb17df55fb61b142cbb8bdbbf94ca6fed4278d99f9f2a6ee40","observation_id":"b31bc264-ce97-4804-a973-f4d6f99fe680","resolution":{"observed_at":"2026-05-20T17:53:37.074837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.13094","last_updated":"2024-11-02T11:49:49Z","snapshot_observed_at":"2026-07-06T18:33:19.806199Z","submitted_at":"2024-06-18T22:57:06Z","title":"Exploring and Benchmarking the Planning Capabilities of Large Language Models","version":2},"cited_work":{"arxiv_id":"2406.13094","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2406.13094","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Exploring and benchmarking the planning capabilities of large language models","venue":null,"work_id":"8a437ad5-a751-4dc4-8533-b70c1766e258","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"cited_paper":"/paper/2406.13094","citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:b8aec973246813b18df4c6d2732fda8393cabbd695fea729d346423628cb74df","observation_id":"e27c7ed1-975b-4091-a046-45d4b408aa42","resolution":{"observed_at":"2026-05-20T17:53:36.625395Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Planning as heuristic search.Artificial Intelligence, 129(1): 5–33","venue":null,"work_id":"44768c9c-376e-4e23-a3e2-862636cd2154","year":2001},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:5c65143e88b35be63a21b5caf94f14fe8015b18aac1ef1551b6d66fa29d2a1a3","observation_id":"f6fc1ed7-f2d1-473b-8cc5-c338dd3648aa","resolution":{"observed_at":"2026-05-20T17:53:37.072842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning features and abstract actions for computing generalized plans","venue":null,"work_id":"58afa358-37d6-4ab1-9a39-ac1da16e03c8","year":2019},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:d944d1b5d4fb16f57fe573f12b22cf7ab8514826b96f122a47c5aeeb21f39b24","observation_id":"013a5dbc-4f85-45e9-91e0-48a5d427598d","resolution":{"observed_at":"2026-05-20T17:53:37.070663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp, and Silvan Sievers","venue":null,"work_id":"14eef445-9387-4bd1-bbed-30bf142ddaa0","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:eb17cbbda2b317dda20d413949d531bd6aba34103b123a6f418e9160ad80af23","observation_id":"854c39a4-8e13-43e9-ac5c-d267f0d83e28","resolution":{"observed_at":"2026-05-20T17:53:37.068415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chen, Sylvie Thiébaux, and Felipe Trevizan","venue":null,"work_id":"911ef90c-436c-45d3-8d68-2683459856c5","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:81381d94012382845f2a2169b77dc1e64beb91dc043123a3ec986e12b9ba7d1f","observation_id":"6fdd0b4d-e6cf-460f-bb1b-8fa447170975","resolution":{"observed_at":"2026-05-20T17:53:37.066244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.18507","last_updated":"2025-08-25T21:28:14Z","snapshot_observed_at":"2026-08-05T16:28:24.368409Z","submitted_at":"2025-08-25T21:28:14Z","title":"Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies","version":1},"cited_work":{"arxiv_id":"2508.18507","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.18507","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chen, Johannes Zenn, Tristan Cinquin, and Sheila A","venue":null,"work_id":"062ca585-9346-4933-9e60-603acea2e3f5","year":2025},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"cited_paper":"/paper/2508.18507","citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:4c9be91099b93179db464e81b26b5315c3ca06268b9fb1faa65384ef15408751","observation_id":"4862c135-b7be-47c2-a5e9-2ba2465285a3","resolution":{"observed_at":"2026-05-20T17:53:36.636964Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A unified theory of heuristic evaluation functions and its application to learning","venue":null,"work_id":"635f821b-c27e-4e36-95e5-52866885524b","year":1986},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:f226cd4b71d087fdf820734be5878dab6903cf62676f561ca5f187c5ccb89f3d","observation_id":"956b2072-8be3-48ac-99e6-93b1721197f8","resolution":{"observed_at":"2026-05-20T17:53:37.064055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Corrêa and Giuseppe De Giacomo","venue":null,"work_id":"e8ca803d-9278-4df2-9b99-993b37e055cf","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:1b048091c60f2f7c4cf0241b8885262088eccd578a6059c06b2b44f61857b084","observation_id":"6997390a-5c39-4d85-94cc-f8a72538f030","resolution":{"observed_at":"2026-05-20T17:53:37.061919Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo, and Jendrik Seipp","venue":null,"work_id":"ca909733-0f0b-4a4d-907c-f7f3719f11f3","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:323c69b7c31090a7179c3dcf628636a0dc63b0734f77b6658ead0584cf035ecd","observation_id":"25e758d9-3366-4d5f-ba3e-3813e0b10371","resolution":{"observed_at":"2026-05-20T17:53:37.059744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Corrêa, André Grahl Pereira, and Jendrik Seipp","venue":null,"work_id":"381a55af-2f8d-42bb-9fbb-01023e125f06","year":2025},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:78755bc24f91e0d6ed3cd09ffffd56bb249efba7abba06b45db61e860e52b4e6","observation_id":"c3ee2415-5b6f-44c1-ad76-5c0f6ffd7ec6","resolution":{"observed_at":"2026-05-20T17:53:37.057691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2511.09378","last_updated":"2026-05-15T14:16:27Z","snapshot_observed_at":"2026-08-02T09:33:59.385680Z","submitted_at":"2025-11-12T14:45:07Z","title":"Frontier Large Language Models Rival State-of-the-Art Planners","version":2},"cited_work":{"arxiv_id":"2511.09378","doi":"10.48550/arxiv.2511.09378","metadata_source":"pith","pith_arxiv_id":"2511.09378","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Frontier Large Language Models Rival State-of-the-Art Planners","venue":"cs.AI","work_id":"9713f11c-0c08-4158-8f46-f9a3d25d4085","year":2025},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"cited_paper":"/paper/2511.09378","citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:e4a456ddb5bbcbe08008c8c3cd6522ee472144f468c9099a25eae6525de49382","observation_id":"914b0782-cf5c-4313-a357-2d92e91944df","resolution":{"observed_at":"2026-05-20T17:53:36.621534Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Culberson","venue":null,"work_id":"ab395d13-f2dc-493b-883b-27e274ec191c","year":1997},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:841abadfeb2a945aaecb573f9e51831274266e0a3945d41c506f43b94742a8fb","observation_id":"fa1323eb-6636-473e-a452-daa8668b661c","resolution":{"observed_at":"2026-05-20T17:53:37.055686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Novelty vs","venue":null,"work_id":"7916423a-777c-4a65-af9c-b110b48785f5","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:d634b91ee4c46a550d7ea1d4804f7e6fce82368125ac513038406448b753b9f3","observation_id":"1432c204-a5f5-4440-a93e-6bd1f6fffe8a","resolution":{"observed_at":"2026-05-20T17:53:37.053577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning sketches for decomposing planning problems into subproblems of bounded width","venue":null,"work_id":"65dc267c-03bb-4130-bb3d-39c6be0b5150","year":2022},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:37d7e3f3af3122d55b719e938d0f9e250b6ef6e37b28b4e6a1aae623a95c24f1","observation_id":"4b4e9c92-20a4-4bd0-822d-6b0c0fe9f6fe","resolution":{"observed_at":"2026-05-20T17:53:37.051828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Expressing and exploiting subgoal structure in classical planning using sketches.Journal of Artificial Intelligence Research, 80: 171–208","venue":null,"work_id":"a05777a9-5353-4fd8-8177-563dee360e18","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:3552cbf628be9c3196fded941b1ccfb1e91b184859318312596c29fe69e84943","observation_id":"b2f231ab-3d5c-4494-8841-f0bd560ebb37","resolution":{"observed_at":"2026-05-20T17:53:37.049786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Nau, and V","venue":null,"work_id":"47295917-93d1-4429-909f-fa6d3d8518fd","year":1995},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:306fe6f9605374bcee3766b6ef4076b63e2779baae20047cc95beca46b2f2be4","observation_id":"7d3475ab-05dc-413b-a48a-dbb675a1da0f","resolution":{"observed_at":"2026-05-20T17:53:37.047574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Neural network heuristic functions for classical planning: Bootstrapping and comparison to other methods","venue":null,"work_id":"47faedba-913d-4180-851f-c612fb88d253","year":2022},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:4d9759e6a92d13691813c0fd019b07ed6a4c12c029e6fc2ee7974e0eda50a58d","observation_id":"300b0e6b-23c1-46e1-be05-90c664749cb9","resolution":{"observed_at":"2026-05-20T17:53:37.045495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Corrêa, Cedric Geissmann, and Florian Pommerening","venue":null,"work_id":"7fe8aafc-a5d6-4a83-ba83-57ea148324e1","year":2019},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:44d1a0761bba7b8fbecf33435639c239adc17cb24a0201d652c8b05e2678c829","observation_id":"3b43660d-400d-4adc-90e8-82581ac5cc9d","resolution":{"observed_at":"2026-05-20T17:53:37.043573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Gemini 3.1 Pro model card","venue":null,"work_id":"91ae7d7b-4247-4acb-9b9b-1ccacbb247e7","year":2026},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:69eb4c56985f2fb5af8a87921cb9069ef4e725d4bccc43980472205dba8eea85","observation_id":"3280a39c-c838-45f3-acf5-1f5a474a4de4","resolution":{"observed_at":"2026-05-20T17:53:37.041755Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Morgan Kaufmann","venue":null,"work_id":"e41d0871-1cf5-45fc-a757-36fcdd7a512d","year":2004},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:f75565682b635fc6d6292707351bf2decadbd436464b10503754ba0022fa2d1d","observation_id":"56202744-87aa-4ea1-91da-d4bc439ea3c2","resolution":{"observed_at":"2026-05-20T17:53:37.039515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"DecStar-2023","venue":null,"work_id":"82d54e5f-76e5-40cb-9bfe-1cd8c38d19b3","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:5531c47f8165e810e3ba68f94e9747d5bad0090065e67064368576cf6d0c78a2","observation_id":"638588dc-70e2-40be-928d-14b964911ccb","resolution":{"observed_at":"2026-05-20T17:53:37.037767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Leveraging pre-trained large language models to construct and utilize world models for model-based task planning","venue":null,"work_id":"72435856-3fba-4bad-a387-a9797a03032b","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:cea0c1345c8ad2acfa7864e3a6afff5cb818864ba8159dacddc163648ec70ff7","observation_id":"a5cd0b56-3ec7-4f67-a09c-adda0c645d62","resolution":{"observed_at":"2026-05-20T17:53:37.033476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Guiding GBFS through learned pairwise rankings","venue":null,"work_id":"1738bb62-8958-4d5e-bcb2-6026f649547b","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:f6be3cf00c6061379f8e8a1660054f96f865428c598087a67c773bca1abbe6f2","observation_id":"0ada8620-9340-482c-bb8a-5f48231a83fd","resolution":{"observed_at":"2026-05-20T17:53:37.035800Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Morgan & Claypool","venue":null,"work_id":"3824f3a1-d19d-4373-8ac5-bd92e025b8d9","year":2019},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:b49f4643f597ba1b83af4b7861c788ad8b2e460c883b4de4050da189a8957b74","observation_id":"e11c89d1-4b78-4625-8e7a-5fc5316e85ff","resolution":{"observed_at":"2026-05-20T17:53:37.031041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The Fast Downward planning system.Journal of Artificial Intelligence Research, 26:191–246","venue":null,"work_id":"bbe988c5-d640-4642-8cc0-68fb30b74556","year":2006},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:23e731c474ea0314e9bdb356d535d9e12ecd6431a59a7ce469f4f1e36093f930","observation_id":"dc244563-a07f-4d3b-b18d-9b1f846140c5","resolution":{"observed_at":"2026-05-20T17:53:37.159338Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a6d4d9d8-96fb-4f0a-8115-f45be7e6f8d7","year":2022},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:6809e2df6cb298c88d763fc2e783d85c4bc6abb87af1ff03fee933bff3188f6d","observation_id":"d188a04e-f2f5-4129-9281-34b5bdeb387e","resolution":{"observed_at":"2026-05-20T17:53:37.028877Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The FF planning system: Fast plan generation through heuristic search.Journal of Artificial Intelligence Research, 14:253–302","venue":null,"work_id":"95893b0a-9b72-4436-86c7-c274cc570a06","year":2001},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:fac88482196d0acf3dd18544053acbca6a53072e828cfbb16edcb3545bf77b12","observation_id":"97611b60-ee87-4a2f-a546-fab01d432460","resolution":{"observed_at":"2026-05-20T17:53:37.000513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.10675","last_updated":"2024-12-14T04:23:14Z","snapshot_observed_at":"2026-07-06T20:06:57.159160Z","submitted_at":"2024-12-14T04:23:14Z","title":"Chasing Progress, Not Perfection: Revisiting Strategies for End-to-End LLM Plan Generation","version":1},"cited_work":{"arxiv_id":"2412.10675","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.10675","snapshot_observed_at":"2026-07-02T01:46:26.436131Z","title":"Chasing progress, not perfection: Revisiting strategies for end-to-end LLM plan generation","venue":null,"work_id":"6d8bfb0a-56e0-4939-8440-27c5e1377601","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"cited_paper":"/paper/2412.10675","citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:ff900159cb0a182a69a48bc4c6e9fc6ace1c21a6d8eb48484f8703aedcb7387a","observation_id":"5a9dd027-7036-419f-9a3e-670ab7759162","resolution":{"observed_at":"2026-05-20T17:53:36.633831Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Seshia, and Ashish Tiwari","venue":null,"work_id":"6e432057-dd77-43cc-94a8-bda1301c0dbe","year":2010},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:7704fd2234448e02ba6033e36c233064ab136aaf428d6fcbe348ce9f451209dc","observation_id":"2f68d0f7-a162-475b-a3bd-66c016e4205e","resolution":{"observed_at":"2026-05-20T17:53:37.024322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.07814","last_updated":"2022-02-08T23:16:31Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-02-08T23:16:31Z","title":"Competition-Level Code Generation with AlphaCode","version":1},"cited_work":{"arxiv_id":"2203.07814","doi":"10.48550/arxiv.2203.07814","metadata_source":"pith","pith_arxiv_id":"2203.07814","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Competition-Level Code Generation with AlphaCode","venue":"cs.PL","work_id":"00d9ab4d-e694-4677-8132-332873a8f9a7","year":2022},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"cited_paper":"/paper/2203.07814","citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:1a9c42f4787ae9ae557ed42b660929ba7f808071409af15ee550c615751fa250","observation_id":"8e499ff4-1da3-482c-b395-05c4556174dc","resolution":{"observed_at":"2026-05-20T17:53:36.618462Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-07-09T08:48:34.328608+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T08:48:34.328608+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Best-first width search: Exploration and exploitation in classical planning","venue":null,"work_id":"d1bb17c2-9fef-4571-9501-25cc4fa5978c","year":2017},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:0f261aad93b3444287b19d1b662bb06af2e469f59609455e9b86da8e3c07e104","observation_id":"6afb8179-bb51-44c5-abff-6ca73861c2cc","resolution":{"observed_at":"2026-05-20T17:53:37.013232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.11477","last_updated":"2023-09-27T07:29:44Z","snapshot_observed_at":"2026-08-01T15:58:01.346044Z","submitted_at":"2023-04-22T20:34:03Z","title":"LLM+P: Empowering Large Language Models with Optimal Planning Proficiency","version":3},"cited_work":{"arxiv_id":"2304.11477","doi":"10.48550/arxiv.2304.11477","metadata_source":"pith","pith_arxiv_id":"2304.11477","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"LLM+P: Empowering Large Language Models with Optimal Planning Proficiency","venue":"cs.AI","work_id":"7226ffd7-2787-4b30-823a-785e230e85d1","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"cited_paper":"/paper/2304.11477","citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:5b173cf0ef29e16996412c03d856f2207ef9fc8896411a369ed297822ca0c031","observation_id":"196c9473-0cad-43be-92b7-18a048b3544d","resolution":{"observed_at":"2026-05-20T17:53:36.629121Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Evolution of heuristics: Towards efficient automatic algorithm design using large language model","venue":null,"work_id":"123af419-1d4b-4476-9d36-e63ab401858d","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:79558af9221585e1e5c61b27b7bc32f2e0a79ae8a817bdacc04ab18764eec303","observation_id":"287a5a70-dd09-48a3-8dd4-a5941eedd9a8","resolution":{"observed_at":"2026-05-20T17:53:37.055075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The 1998 AI Planning Systems competition.AI Magazine, 21(2):35–55","venue":null,"work_id":"52e2027a-10f7-49e3-a00d-656cf3fb6a63","year":1998},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:a67bdfc121e3b99b099029cf475ffc2b67576adec7a8b997f0d3c4c037ec416d","observation_id":"774164db-df59-407c-b6b4-91aa46a7b970","resolution":{"observed_at":"2026-05-20T17:53:37.005007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"GenePlan: Evolv- ing better generalized PDDL plans using large language models","venue":null,"work_id":"eb9e7d00-a86c-48d0-9941-c21cfb07729f","year":2026},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:8dffef1ba8d8e76832ffc994a7d91bc9f7b236cc2d471d71883ad0a4081dc09f","observation_id":"a9764014-6f3e-4d78-8688-7bcc7ce5a3e4","resolution":{"observed_at":"2026-05-20T17:53:37.002738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-07T04:21:43.190472Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":"2506.13131","doi":"10.1016/j.shpsa.2017.03.005","metadata_source":"pith","pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","venue":"cs.AI","work_id":"76a0f850-d490-4e4f-ab98-8d25df82cd23","year":2025},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:464645720a1aadf9a1dc856ba358297ff596e238d7bfe7bf964556b58213bb5a","observation_id":"0963a55e-fc6d-44f2-8425-bf1a825465c5","resolution":{"observed_at":"2026-05-20T17:53:36.615370Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Manquinho","venue":null,"work_id":"ebc34494-abb8-4389-821f-e8fe546b00c7","year":2025},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:7497f34b675e997c4eecad72e8ee4b0d1028db5e3ffa308a364b86cdd11d221d","observation_id":"88429851-1527-438f-96da-f8ae86a82aba","resolution":{"observed_at":"2026-05-20T17:53:36.998119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Large language models as planning domain generators","venue":null,"work_id":"d7b58bcd-7b98-499e-bec9-3db544b4cdf0","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:b6ca80ca4cb04f1198c18bde2975237d9134677441e8c3f4e329b3bfa6e95981","observation_id":"de391d0d-6f22-4dd2-b835-877a47e8cff3","resolution":{"observed_at":"2026-05-20T17:53:37.022036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1d65a171-4591-42a8-9b77-ce827e492c0a","year":2022},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:6ef77b939ca821dd26b8bada7625f0fbfef12a3ef5ac5cbd4d88fc2b26cde5d7","observation_id":"6127c047-0b9f-4b3c-96fd-7d43d67ed789","resolution":{"observed_at":"2026-05-20T17:53:37.015354Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Addison- Wesley","venue":null,"work_id":"bc2ca05c-147d-4156-9e9b-d117db4d8648","year":1984},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:1839b3ec09d86e39c9b5287e5ef4f7d7ac120dab54bf522882fc104b28f5b432","observation_id":"385e0db7-788f-49ad-9f06-51d05a21a042","resolution":{"observed_at":"2026-05-20T17:53:37.156935Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"First results on the effect of error in heuristic search","venue":null,"work_id":"c8b2275d-4d38-48b2-83a8-2b3b6e83389c","year":1969},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:29cc83adc635ac0ef67d14bb3753ddfcdf2249bacef5f935c1e1316318d50c75","observation_id":"4910ce14-7e90-42f0-a9bf-2893585466ab","resolution":{"observed_at":"2026-05-20T17:53:37.152614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"From non-negative to general operator cost partitioning","venue":null,"work_id":"fb948828-c10d-4eac-a251-d5aa586a7830","year":2015},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:735281e05f11b511989f25cc845a8a966065e7fa897182e74e9b4576bee45660","observation_id":"44b21db0-122d-4e46-a156-6f16d8ca4e35","resolution":{"observed_at":"2026-05-20T17:53:37.150630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The LAMA planner: Guiding cost-based anytime planning with landmarks.Journal of Artificial Intelligence Research, 39:127–177","venue":null,"work_id":"faf56b39-c00c-4276-9650-7a4f3d29d871","year":2010},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:624cead2f3d4d5866639c36c86452c44f59a82ddc65d32400534180c20061ae6","observation_id":"d12a92d4-bca6-437d-9a1e-f1c5105347ea","resolution":{"observed_at":"2026-05-20T17:53:37.148626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T11:43:42.566061Z","title":"Pawan Kumar, Emilien Dupont, Francisco J","venue":null,"work_id":"30e3a478-1245-42e6-af0c-6395c6dfb2cb","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:382fd006f530a33ed3e27f33b19e1c77e4657dfea17b14fbf07a167eece716ec","observation_id":"bb152d64-3d6e-4406-8e42-d3b9f67e97e0","resolution":{"observed_at":"2026-05-20T17:53:37.146573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning general policies for planning through GPT models","venue":null,"work_id":"7be7b18e-8bfc-4aec-945a-678b2eff7a24","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:4367d9d20b1e766c622953109fbb2eddd2fc57d56e764c62b95a62a58490d5c4","observation_id":"de333a76-8885-41c3-9fd1-90cb5bccd4e3","resolution":{"observed_at":"2026-05-20T17:53:37.019828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning from multiple heuristics","venue":null,"work_id":"e95f7338-4a23-4bcb-86f3-8f1a52522a9c","year":2008},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:523ab7a1bedc0afb3d5be9decc01b11a802a9365a3d0f457c69ef413057472c2","observation_id":"1614ccf2-259e-46f4-8e18-69a76ef2973d","resolution":{"observed_at":"2026-05-20T17:53:37.057493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Some studies in machine learning using the game of checkers.IBM Journal of research and development","venue":null,"work_id":"07a76c06-229a-46b1-9eba-a2cbb08da687","year":1959},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:5e65864bcb46879fc073ec76485cade12559aecc66ec476bf70384cc800dc35c","observation_id":"e7e05600-991f-4242-b02a-392ff883a406","resolution":{"observed_at":"2026-05-20T17:53:37.144384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Correlation complex- ity of classical planning domains","venue":null,"work_id":"cbc17c0d-841a-4bfa-a3e3-6b4f25611e91","year":2016},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:a489b27560a42ea4a328b97ab4db016a9f083d22b2663c9ac7c12872558fced6","observation_id":"3dadd9b9-69fb-482d-81d4-d4e1ae5e3171","resolution":{"observed_at":"2026-05-20T17:53:37.142159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.790461","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Downward Lab","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"88cf725f-5961-4ded-ad14-a645fe438c4c","year":2017},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:e23a8884028e25256837093d90edeba9b6c0f92827aaf23de927a563277c71ef","observation_id":"ee3411d4-3878-48e9-8a7d-21fe1885b1d6","resolution":{"observed_at":"2026-05-20T17:53:36.250088Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-05-24T01:56:26.485016+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T01:56:26.485016+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning domain-independent planning heuristics with hypergraph networks","venue":null,"work_id":"31eda83a-c8c9-409c-9837-825023c12c5b","year":2020},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:1303fe6781e1a50bfdb9c0445f4e22910f41858731d9cc145350ca64a86a6b2c","observation_id":"a013bc16-5a3d-4746-8400-c7c50bd454c2","resolution":{"observed_at":"2026-05-20T17:53:37.140112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rabbah, Rastislav Bodík, and Kemal Ebcioglu","venue":null,"work_id":"ad7e5d19-a0d5-4c29-bd99-183e130f8da3","year":2005},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:d94b27dd6130269a1c1065dc8ed51a5d55984d5c8d632adea41eba61640b480b","observation_id":"4805a3c5-c385-40b6-836f-ccdd7ebc58b2","resolution":{"observed_at":"2026-05-20T17:53:37.138290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning general optimal policies with graph neural networks: Expressive power, transparency, and limits","venue":null,"work_id":"3cdaead3-8dac-43f2-bd6b-b14df39bf166","year":2022},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:1833d742b9b63ecabb623e036b0025a9d4ef317eb3affd1ad270b88a4bcf5b1f","observation_id":"9288331d-4a89-45d2-9873-cbce34735407","resolution":{"observed_at":"2026-05-20T17:53:37.136253Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chain of thoughtlessness? an analysis of CoT in planning","venue":null,"work_id":"666b9ef0-fc04-459c-8802-5af529e56c68","year":2024},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:a8598aa5a06d7d1297233e44958bbcf38bb310f0f327d210bdcd04e55dbc3cc3","observation_id":"1e07b3c5-b27f-4603-8d3a-624c77d7362d","resolution":{"observed_at":"2026-05-20T17:53:37.134113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The 2023 International Planning Competition.AI Magazine, 45(2):280–296","venue":null,"work_id":"94679501-0057-40f4-9847-f115594d0c56","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:942b9c833c5a02b526c76ebcd9a1952d63b4b11cd98eadf5c84fc4df68ab798e","observation_id":"0e42d265-39f3-4058-9305-bd234e904e4d","resolution":{"observed_at":"2026-05-20T17:53:37.157143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/aaai.12169","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The 2023 International Planning Competition , year =","venue":"AI Magazine","work_id":"87b81cd8-9d4c-44cc-b00e-6c3aa92b4b6e","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:8d8eb97cb225199b3b11788cb535e881e85f8586b8a4081036de66ac7f651647","observation_id":"7717aa0c-be5f-4b3f-a61a-708a1ce967ec","resolution":{"observed_at":"2026-05-20T17:53:36.244949Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-01T10:08:13.410784+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T10:08:13.410784+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"LLMs as planning formalizers: A survey for leveraging large language models to construct automated planning models","venue":null,"work_id":"8c2817dd-212d-4cf6-9141-9f392a59a1b8","year":2025},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:bf1173d241ac33fb5c13ec6e541433ab0d31838dd17c56cd328006de343ada48","observation_id":"2bb74cec-1e12-4334-8a28-0569e5d5a634","resolution":{"observed_at":"2026-05-20T17:53:37.152914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Successor-generator planning with LLM-generated heuristics","venue":null,"work_id":"f520606e-662d-4b48-adaa-d202d84326b0","year":2026},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:f68e2309a1b30e357c3bf1c1dcb16483ad2f1735f268e269592b4c98fb639ee6","observation_id":"514d2d9b-68fb-4a83-bf67-80298eacaf4a","resolution":{"observed_at":"2026-05-20T17:53:37.150837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"PlanBench: An extensible benchmark for evaluating large language models on planning and reasoning about change","venue":null,"work_id":"e63dc10c-9b4d-4abc-8a2a-1b28619d9b43","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:4d7cf542e27541a8c0d94178c3f06d5edfa2be455e3a70c439fc6a76c0f35f73","observation_id":"0c80c191-ca5f-44fc-b75b-afe9bd7b2741","resolution":{"observed_at":"2026-05-20T17:53:37.148814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"On the planning abilities of large language models - A critical investigation","venue":null,"work_id":"e2c03daa-1582-4741-9ed2-3d5aa23a116f","year":2023},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:14cbac1a73b2c9e9ec44e155c9ce3443cb1555edf63fc010b9c79abf65f7d772","observation_id":"b42b268a-d6de-4dde-9df5-acc30a2f61d7","resolution":{"observed_at":"2026-05-20T17:53:37.146790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0f51ec76-53cf-4c1e-8faa-7bc88554bb95","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:41d2195aa4a7e026e77878bbbe459b292a6eee069917715b8667d677ee68125d","observation_id":"032b4015-3b8f-4be5-a2b5-282eda9e557f","resolution":{"observed_at":"2026-05-20T17:53:37.144631Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"683ce459-266c-4127-9f6c-cc08d05249d2","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:e827efdb08d03a77ac6986e3273c20d3b13c11c4cf4010eb317e7bf6bba18914","observation_id":"bb8eb64b-d3db-4c33-9466-47115df6ae4a","resolution":{"observed_at":"2026-05-20T17:53:37.142971Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"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","venue":null,"work_id":"0ecfb163-1a75-4d07-8ae4-a0f163222bb7","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:383f0c20b0e21b1680615bb399563a2604b095114d587ec3f0e203c012c9f705","observation_id":"f1d6a4e5-e857-4abf-af03-b53b1833031f","resolution":{"observed_at":"2026-05-20T17:53:37.140887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fdbfa2cf-c620-473a-b8a5-5d516d0210e4","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:37b2192964c5908535602ad9e1be3e74fb3067c379628cf81a32e07f88831696","observation_id":"e633b432-0d64-457d-94c3-96b97fd72656","resolution":{"observed_at":"2026-05-20T17:53:37.139022Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"019a601a-8dca-4089-9ff7-8ca34898f88b","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:ae0a20a9ac70057dd9bb4993a4aa94c17221d551308adae258d0b708b9a8404a","observation_id":"cb799aa9-46b2-4914-91ee-c36553afdde9","resolution":{"observed_at":"2026-05-20T17:53:37.137082Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e2cca88f-0448-4f45-870e-5c1385022b84","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:b2b1b6c4e0c9290fd7f0bc63f06e84c05d9f3435f273fb41ebe51f2dc87d92bb","observation_id":"b4ac47eb-85d8-4ba2-9b9d-ec9680097ee1","resolution":{"observed_at":"2026-05-20T17:53:37.135029Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"</ previous - heuristic - code > I t e r a t i o n 1: - Prompt Type : Pr ope rt y - Main Idea","venue":null,"work_id":"7084c6da-5101-4d6d-ab13-229c6029059f","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:f06beca14837624062fc6215cc0278baa93c28abea57a1c37f82f73620af3802","observation_id":"3908af74-01f6-4856-a565-d80cee499352","resolution":{"observed_at":"2026-05-20T17:53:37.133366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2916163f-c443-4e3b-ac14-0a50a4cbb439","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:afcb281fd79846dbc36f66cf0a39053c16bc3a6e350660e95ef1dbfdc86843cf","observation_id":"bf7d7f22-7f2e-435d-8719-252f524ae95f","resolution":{"observed_at":"2026-05-20T17:53:37.131253Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0bcebbe5-b5f3-474c-a650-fb18992c8354","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:1af913b69db04a021e75b00d3c08d5d9d51a57ff90113ac27d23c47e44741810","observation_id":"49d3942f-b90b-4b85-b610-a9420b11a30b","resolution":{"observed_at":"2026-05-20T17:53:37.129468Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"</ previous - heuristic - code > I t e r a t i o n 2: - Prompt Type : Pr ope rt y - Main Idea","venue":null,"work_id":"6e810935-686b-49a7-8047-418a1fa735cc","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:d279bbdfcab2886120c788d766ce647dc7694b0d05f4f38baf4eccb9a0dabac5","observation_id":"6652a54c-3db0-42a1-aece-89e289d8c810","resolution":{"observed_at":"2026-05-20T17:53:37.127713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"90b1e370-74fb-400a-adbf-998a0a94c6d6","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:88e18496e3a898d999e3c36ae5bb146dfd4a07d721a32a64ee6309c0861b58f9","observation_id":"c75350bd-7d49-497c-a99a-f4cbab47aec8","resolution":{"observed_at":"2026-05-20T17:53:37.125433Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1e8daebb-2d76-4960-8e29-9805c0367d05","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:f1129ec13736ea2957e5ad371603d913ae3d8f19102d12f6690f7ca4c8f70f70","observation_id":"3abc1697-9b89-4f38-bc34-224d1b8e08ba","resolution":{"observed_at":"2026-05-20T17:53:37.123204Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"</ 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","venue":null,"work_id":"810a5418-e9e4-4ff4-88cd-814398c671b0","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:c15c1a19df69ba4df1e41c9a21df42fddce75d8bdabb99f90877ffe49a29f1d1","observation_id":"6dfacae2-01ae-4bd6-bb89-1691028dc121","resolution":{"observed_at":"2026-05-20T17:53:37.121159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a3573d0a-ce21-4fa3-a352-22e20a49b962","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:18478becc1db7dc986377f940a79134cc993ccc1474abc5938567a454d554772","observation_id":"c5ca21eb-fce1-4277-b338-6c0301d2e50c","resolution":{"observed_at":"2026-05-20T17:53:37.118850Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6271dac3-a395-4dfa-a651-da418a91eb60","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:26c69502d6ec89dd44261231c4f21d7d1a86d6e6d90a8c38a1177b1eb0abaa46","observation_id":"56546938-e0c4-4947-9644-5dffa97bc3fb","resolution":{"observed_at":"2026-05-20T17:53:37.117040Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ce7b5671-46e6-4e51-99cc-201d85d209e3","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:76c2fd1852b04334712aef6a520705391d5f3236d3b95797f0916fcea16eb49b","observation_id":"23cf1158-761c-4509-b448-b46c8c457c6e","resolution":{"observed_at":"2026-05-20T17:53:37.115019Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d9c95786-5a4a-4a30-8788-26cf65de3b28","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:fb37f3c682653d4449444669ad5e204518b018f7ab66212b882ae714f8f32aa0","observation_id":"9c78f4d0-7d3b-4b53-b2e5-9910fd3377cc","resolution":{"observed_at":"2026-05-20T17:53:37.112978Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ac12f685-cd5a-4a82-9146-f229b01be85c","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:d59e4632d012f53290ad8f9a698bb638ca4cfc4356efd85dd06df866736bfb83","observation_id":"9fd6d3df-52cb-4ada-aeff-d98cc11934bf","resolution":{"observed_at":"2026-05-20T17:53:37.110902Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4aa50fb0-40df-49c6-82d4-57c119793a05","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:54fb17e1cd2e7503dc815d19fb8d9efbb0ec6589b9fe4a614c48182cd3c130a7","observation_id":"6b418a4a-674a-477e-b4f0-d27e2cd05fe1","resolution":{"observed_at":"2026-05-20T17:53:37.108788Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e321c383-f0ba-4112-83a3-889f61291f05","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:326fe15fe02f1d8a5db67514fbd2b3a22920a66d33ef1e4a6f5366a48d2dbc3d","observation_id":"b0672642-9595-4e1d-918e-f7b380418f03","resolution":{"observed_at":"2026-05-20T17:53:37.106850Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"aa46c95e-5706-4861-9649-5948eb526c69","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:5a84beb576e236f47b80e34f39590f544c7a89e32525e398e1dd7cf283837afb","observation_id":"2974adc5-9846-42c0-a663-34e598fecfd0","resolution":{"observed_at":"2026-05-20T17:53:37.104988Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ea9b8eb2-2899-4f74-b1be-0504d8d3e49d","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:c8b1199aa3e0846ab2e36326cc449a15844b51a9554b98a54e2785acd2422616","observation_id":"cd41cdfc-29e7-4aa8-bed4-e07ff49dfce0","resolution":{"observed_at":"2026-05-20T17:53:37.103226Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d9a4510d-006d-4e1e-b9d7-715dc4234545","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:7add10213355b39377fd6bacfdc8d91e2f8ebd7111f0873240aa8d5cb5ecacc8","observation_id":"4857cf4e-ee2b-4cfd-84b1-0417d7b775d7","resolution":{"observed_at":"2026-05-20T17:53:37.101395Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1b4e9900-2911-41f2-ba28-5210d9da5378","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:6bcb0a37f09ef9fa765d1f7748f99514228dc3ba9229aa45813fb805b539a888","observation_id":"81389951-8f8b-44f9-96fa-e720f53d6f81","resolution":{"observed_at":"2026-05-20T17:53:37.099598Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"335e5ff8-9158-4636-97be-ef5cc6c7522f","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:238ef842cd5faa2cc4181f42511da79a272fbc36ef45005a02193eff424ec769","observation_id":"ea74d028-37dd-4044-8d0f-57726ff1e2d2","resolution":{"observed_at":"2026-05-20T17:53:37.097582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"</ 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 >","venue":null,"work_id":"aa3ae741-9588-4d6e-ae6c-33ecd5d74335","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:56bc721fbec83dda3a675933976587e651a23c3c04d170bf22683e21e6ffffbc","observation_id":"12396894-69c3-482a-8150-9f75656bd9e3","resolution":{"observed_at":"2026-05-20T17:53:37.095114Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7e6b53cf-c0f7-4dce-9521-b8e786de867d","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:46c635bfda36901e738185e82e5c756754dd27b88399a0afeec7efe0a46f0de3","observation_id":"c8360715-43b2-41d3-8319-1abba77b9743","resolution":{"observed_at":"2026-05-20T17:53:37.092617Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d7c94428-3432-47fd-b50c-651928b09b2d","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:4cb7691fde8908c600ea6bb344d6c352468758749a65f850481b9c7f7b8f9a71","observation_id":"c9ceb35f-0428-4a08-9fdf-02b06e4994dc","resolution":{"observed_at":"2026-05-20T17:53:37.089995Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7dc8d688-a875-46f8-9577-66c35fab6cf8","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:f452a5ee39f59afa804b12e2990c279ab6a47a1050af1966dc4307b8a4cfa3dc","observation_id":"225f1d2d-69ca-4fda-862d-2b54c8f26186","resolution":{"observed_at":"2026-05-20T17:53:37.087585Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"</ 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","venue":null,"work_id":"622d87d6-c80b-4155-b418-e7f975df71ca","year":null},"citing_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-05-20T17:50:16.418931Z"},"links":{"citing_paper":"/paper/2605.16142"},"observation_digest":"sha256:327f5d13ddc6344c508cd8e2913b9c1217ffbf108975c370afc25e15d231674f","observation_id":"ec073569-8478-4a36-95af-c869bd511557","resolution":{"observed_at":"2026-05-20T17:53:37.085471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning"},"reference_resolution":{"displayed":95,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":27,"verified_exact":9,"verified_fuzzy":58},"total_outbound_references":95},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 95 of 95 outbound references and 1 inbound Pith citation observation for arXiv:2605.16142."}