{"as_of":"2026-08-04T07:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:117e4a74c15c7bae10999985603ac8647dfcf470e745c231cb7506afa7ba14a9","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-04T06:34:03.388597+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:56ba1d034d1ec0bb62e2928b52e55228346c8adaeef1299fba40a8fbe6b70a08","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:8ec5e9e326e9a8d0a81020282d02486dcc8f5f3f6f9c012f75c46d636eb545c4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.3700819","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Pyperplan.https://doi.org/10.5281/zenodo.3700819","venue":null,"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:2001f71fc08f3c8ae38ad845c610def178c1050af9f45935f949092af607aabd","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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:2e5a41b96a40c5cf5635e2a6740977d19508260f4f7acdf85760e07e9035549a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:5ee69dcec3f9203912bf83c2ee5e9867b8a07a814caf05d717e1df8af4e8ed1d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:237aeeb42c0f20acfb265d8cade78c4b83fe268ddc92ca7c32b4bb48511ffa02","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:4392f939ea6bd6c78ab93d27625cc09592b5fff0b601380b0e6ce1841ae7492e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:f48f2ff02cd86ef8008e6056edae79186e0760c442c9c424a4990d156c137bac","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:fd077df3468ae5134f5a1886ca973e3871d38a17d87550a0386d5de864db8713","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:8609ed6741e54cea047b4e425ade98596cb756fda6a0bbb284b395ede3df45eb","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:3cd71a1d2870f1ae7770afed10a53540f8badb54bb32a42df7cbd88f7a80abe4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-06T22:18:35.948728Z","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:ba2e53123355628a2af325f0eb05371557a82bb07d3d42b8eb746f099ba609cf","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:07c026d3d0cdfcac2b4f62fcc4ea56a1d07311ee2d153cb5c7f37f4ef3552645","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:37346da451e9e96eedffbc36911aae889eb522d0657611b0de9b1bcb4cd80c28","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:379c246769fffce7d662124d23def0ca983c3df8304c53bd077b69d05819f341","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:98a1eb3e24466c585d0a43b307576d0ef21a891b786fa83988476cb1069e51b4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-10T12:15:01.137692Z","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:04b2f3f41271f2c68690cce3b00d7e66fa0ca4a5582c80a027448723d398f39e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:a29cf5cc87e9afbb5f20d9d38deaa1460013b351fd63f14cf31f463b8a93bc03","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:22926e01d9de5ae82bd8e85cf3d38b4b9a3c01a9047e04bae3da73b0505a3139","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:aebcda59aa786a0e81936be3554009676b9bf26dfc80a0ba5f81599aa3756e89","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:d4457c2e942d42c9d60345d5b77046c62bf9d640ad0a02b117264754d8c3b8b3","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:c7acccef9c34f6d3adccb0d09bb313eb126e9253ef3a5de1a2c38746a3859ef3","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:9b6afe3f4e85715fce6150cd2fdb2e145bf162e374f584372a81938653c2d711","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:8992c581e7c653ecd113ecfd7797fdb69ce5f0374a30fa4a411f168d786a6975","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:6e0866e34126d8014a4ef625b6c31128f06102542ff64de49d997f60ac8653f9","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:243659f130f2560e744fe12a825b492f9eb8f20b10c5844cdfc8cbc029d8f148","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:cd64bfc68d1218e460d4871ece73fd330560ac17915e86b102e8d789f6fd1f22","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:3e2321b5064759444d6da468dfa30676303846f0259671193737a36b8cfbd039","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:2fb0b017d849098da1d5887eea29d99c990eabfcf82b98e8e042269b2dbf198d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:d87779bb75c50d3d74a56a1435497e4cf1d46ec90095b2a73deeafe0213c32cd","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:7e1e48d1feb60cf78bcd4d62bd21714f892ec0cc34ad8544959d81c1242714d6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:6196323601837c336e19ff70a10b77ca0cf5249058adde6d4f0c9100777c6e30","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:2a885a4b9f1c2ce40c85f852c75d3221a1bc49d2311bdaa2382ca60a3c1092d3","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:e6c60d38eac3eacc6f450f5fd16bf650f64324445d224ef1c8f9951a355ae194","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:24b44c9d1b5dcfe54329b164985feb726a1a4e41ffeaee7bef23664a19468017","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:0d580e7603e90829f89b3f3d49ac5b84b88a8efb277262f1d6f520240240eb4c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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:88bc805177349f33be2fe464c5461c270ab94df62299f697cbbc067dc10d46c6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-11T00:27:51.551234Z","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:7a576883589966f504ecfe1eea20eaee8cd131dbf1a53f61c47ad52e4d8fa1ab","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:86d62022c42773b5aefa35d47afeade0ea586efa36366e8297a55d9af2fc1a57","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:4cb62ae5aedf968d444aa8080c8d4143afc1c2971a919ffade193e3d339c930d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:7374f7ce997841d591971f6536779eedf51df70dca1c6a76d2873d82b16ecbfc","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-06T02:11:23.670680Z","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-07-11T11:50:26.030339Z","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:1979bcb9b48cf30b386549b57656f678cb337e004ab9d7781b79bd1a85d21ea0","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:8955ca9bcf6bd128d695e51edf8e005b9f52eae36f2b81f71c775b11c7c41739","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:8143b71850da0b61ef4d38cde97c3ea4f0a6fb3ad8a0f13022913f7dc9db9367","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:2462b5b6beef0eea8546b18eb376aef161d8cfd690471b31eded690b16050185","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:de6fd8a87e11c02b772c1efedf24a83471b2a41223f898415b0cd65650c7c57b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:bf83ff14b6be76e4766a6419b140f316e652187660b07672ee9fc2e5d94985ab","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:8035633e952cafb9687ec77ead84818ed7e0e5f5078124415c012d77d0c30574","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:5d4be85e31980d657f1a556308e5ab89f0e42f533b9ece03b3e465e55eb2a183","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:12ad257c377aeb32ed8d98cf624f74e1dbed04ad898cf4ec9ca0b7e819fafc97","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:35eeef579fec1a36db9925e446cf8da7864898c5578f13a842dd855088acaa62","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:d8f26de43c8ddb1609820de5857e2bd67035289861172befa4cc5d040a872e9f","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:5886453887b13086ca4ddee31615d40ef5c1ab6a2ce152420910ae360f5798bf","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:ec8e1008e42901ede217ef8e8c676b741b9b9c42b7e477213decea0f6d447d4e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.790461","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:53:11.510240Z","title":"Downward Lab","venue":null,"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:9f5c7ccf660cd546c94460a7cc04c08c341ae13c30af5fb582628f6526aced33","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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:85783c480ba6e6c66afc104dbd762606cd1518f9144e74485a2f560b88a73b01","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:8b1d40568b4e9c8a49383c95eeb3447ba7c2208f6cfa2c4f859ef826882e07dd","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:a937ac6aa7bb67ad2ee248ebb8d1c3382774a96b602762004278d59cab1dd64d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:6710df1cc95469de1bbada242ad41f2dc28f59db06feca379f72a7c9f3d00b7d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:752a1e82f581fc7561a41e90363914b47f782805457c5e600f3ac2bbebcfa4d6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/aaai.12169","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T19:02:33.680709Z","title":"The 2023 International Planning Competition , year =","venue":null,"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:61c483529eb0bc2c1557f7a50b3b2468e0bf6403ce1f22c2a81696b185b55100","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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:131f1b401186771851f7cef9106d75039d80bdc30ea286d5cd7d2dfba741a6a0","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:759bed0f0236b665f552e538bb4f4495259bbc3fd2e4a9bc605ae7617a3ea999","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:fa435cc4bc8ad67d94aa34aa5b29bd30dd657d23927aa9ace9038c0e9bcb5406","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:66db90d5a23af55830ca1c1d4a5af56b9ae05a83468358369f7181073df8c58d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:a0ccd36869c93b84f2770a58c82a4811181cea2fbbe91c71e71412481a0a3682","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:b0b989194d42613336d6847e41c10ae93a83586aee0f1703e243bc17e17c07fe","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:3fde831c9fe3f5255184ea5152b3bcdd7e00717eee7b5d5b12921273d471cf7d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:a5b380bc51cf28d70239f1c90b98431b3377c0e70f4bf57bb396ac01573a007e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:c2fdbc0f63a4e7dda6b7de947c5a888ec226991299925082a12926e7e97becf6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:81e903590d851a604643526e692eb81c2b173c534503f5f7fd02a04ecd52b4ca","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:f415d8c9de5a4b4ecd56cffd1151fa03665d54d237523adf84a580a563c798d4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:e6b43940d68b4908481f9b65dc1d74d38ff125397212611dd9223a6a9cfdb115","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:71684e1c08e043e97f4668c832fd5cf27abda171608d96cfb5b1a740acb9c2ed","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:396887c9702ffbe6c44bcf8f6f324acc49e651b95c11a265653f13adc1d2530c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:f6587c2e97d5e2c6f7b9c919654f1945bab9baa6094e0ece02bcda419c7e790f","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:7ad353cf8e8d11acd8528bc4e28095be43994739c644778516318ca1f5f0b16e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:353af3f11a8d127a8320d5cdc9abbdd8d113c8d33796ce4c5cb4299cff1c16e7","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:ce4547fe50bf2a0a11cfa351cb9917968f826e30ffb4c4ecb872f4dd3eebdb19","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:3a177cde2324c63c2c49b0f28b9aa169dee91f9af6966c561a23c79097f55031","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:bf6dcd5f62eefa700e56a3bd084a25679b0794c0961295bcf1e2e7dd9c4bcc02","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:59641b705c2e08c601c62c61d4ef69c8c2d02a9e709fc26dd231fd81fa65d3fa","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:3ad981e1e73b307d9260efe98aa893cdabde2f512bd4c7aecdfa7a7876015a5b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:488374c7ca496c19db2fe73b2835fb3772c1d8a3e05ee948d0b5fe3be861c417","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:9f0ecc6d42ffad293ef42da2e62b942b2679f2cc2a328840f003a976b3452435","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:e540bbc84ec1a06ab08dad56bc73c887a9b6a389619ad1b3810f18a80d19273c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:c143c07e95ef47460a17542d4dee6aeb2ef830767119b0ee7ddbf8a74758cd1a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:5f957e28799213684129a3908b9cb25a0b012360fe5cbdedc230bb3eeac55e60","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:94693380185de3410f1907250861df53af83b902de5e08044411aff7d548b6d9","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:f367ebb41b6d1f5c89dca54a1e916fe8c87f77eb88e6698e2ead1d58d607e2b3","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:7a2e009291d14e2a62866cd584fe728cfb5f20be443cfb985f5ea2687496415a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:d3d3b3da2459acbb9d69d7c2b93e0cab856066798490c6854464f308940146bf","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:6015d3ca2bb421ac4e228dcc5e156629a5f9a70519567adeac94a750160d8948","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:44be261562c22ca48dabb2fe5e24d9b955bbbe7e36ea0895900cb53cea3c47f9","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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:b23089277c2330a6f0ed04568230cd1258a90c10ba91c28fb5da517e5021bd45","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 95 of 95 outbound references and 1 inbound Pith citation observation for arXiv:2605.16142."}