{"as_of":"2026-08-07T22:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e2a4e38f788bd4185a66df8fe4cf0690c1d9a2a9a7f731c38b34d95da9dd6000","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T19:37:21.444390Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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-05-12T05:01:38.118237Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-12T05:41:27.415150Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"cited_work":{"arxiv_id":"2507.05118","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.05118","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Verifyllm: Llm-based pre- execution task plan verification for robots","venue":null,"work_id":"234c9691-8135-4cd5-951d-2e52e25008dd","year":2025},"citing_paper":{"arxiv_id":"2605.09271","last_updated":"2026-05-10T02:42:29Z","snapshot_observed_at":"2026-07-06T23:21:26.017420Z","submitted_at":"2026-05-10T02:42:29Z","title":"Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-05-12T05:01:38.118237Z"},"links":{"cited_paper":"/paper/2507.05118","citing_paper":"/paper/2605.09271"},"observation_digest":"sha256:37fd922c2e4c326a859aba203e9ce111655906adb7558c6fdbd6fea246ce82bc","observation_id":"f7f8a5db-cfbf-4d1c-8c31-1f6b6769ecea","resolution":{"observed_at":"2026-05-12T05:41:27.418114Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.05118/citation-record","integrity":"/paper/2507.05118/integrity","json":"/paper/2507.05118/citation-record.json","paper":"/paper/2507.05118"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:24.338355Z","title":"Mind the error! detection and localization of instruction errors in vision-and-language navigation,","venue":null,"work_id":"9ec5a6f8-f4d0-43a5-92d1-344c0044fa90","year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.216358Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:7213646d22483db4cfcfd83414c5c03aba1f124642bbc45084ce7b424d1671ae","observation_id":"d6211c5c-ecff-47d5-aa44-7b2323ce1750","resolution":{"observed_at":"2026-08-06T19:37:24.407415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:24.198002Z","title":"Grounding large language models in interactive environ- ments with online reinforcement learning,","venue":null,"work_id":"a6124633-abdd-4cbc-9aca-327ca18c0e14","year":2023},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.336893Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:1bc546fc56d7ae82ef3c02822bba919df14f31ae9d06008cb9df16c337f647c9","observation_id":"3b82beb4-559f-4d70-8bb5-19e832861074","resolution":{"observed_at":"2026-08-06T19:37:24.284258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:24.047231Z","title":"Pddl2. 1: An extension to pddl for expressing temporal planning domains,","venue":null,"work_id":"5494ca5c-ca08-4602-8070-c42622e27ac2","year":2003},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.390837Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:d9baf757504a3ee25f0321040021f7fd65355053586bcf4941f6f1272809d5f3","observation_id":"e9037dd2-441e-4506-bfdd-b8b27cbb88b8","resolution":{"observed_at":"2026-08-06T19:37:24.124110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2204.05186","last_updated":"2022-04-11T15:22:43Z","snapshot_observed_at":"2026-07-06T12:59:01.582684Z","submitted_at":"2022-04-11T15:22:43Z","title":"Correcting Robot Plans with Natural Language Feedback","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.05186","snapshot_observed_at":"2026-08-06T19:37:19.478691Z","title":"Correcting robot plans with natural language feedback,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.478691Z"},"links":{"cited_paper":"/paper/2204.05186","citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:622b717af321cb2febcb857613b50721671e211da562579e8a3f7e75c2ff13d5","observation_id":"34104c4a-5eb6-4625-ab9c-69d3e2af0b63","resolution":{"observed_at":"2026-08-06T19:37:19.478691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:23.877093Z","title":"Extended tree search for robot task and motion planning,","venue":null,"work_id":"22ec6cba-c0cb-44d7-b47f-6659f2233ce0","year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.520037Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:6fe41f219a69b8061f9bbf3b9c2b288163c400fcd1c08e5ed0acd19848afb164","observation_id":"9789ecc4-ab6b-4c62-b6bb-cfb233f080f8","resolution":{"observed_at":"2026-08-06T19:37:23.946460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:23.735580Z","title":"Language models as zero-shot planners: Extracting actionable knowledge for embodied agents,","venue":null,"work_id":"813f060a-6c42-46d5-abdd-a0d55e40f147","year":2022},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.580707Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:dba7fea0b953620168ef9d16decd7a1977682eceb0f930e1f4bd60a58a07329f","observation_id":"c60d278d-a7fe-4456-9b9c-c48384c6664e","resolution":{"observed_at":"2026-08-06T19:37:23.801431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:23.621943Z","title":"Application of pretrained large language models in embodied artificial intelligence,","venue":null,"work_id":"256577d6-1075-4c41-aa12-428087521b4c","year":2022},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.654366Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:504448e4531eeb16037d7825332cf8818ee19b9690ec7f1eeb9b40693125ac40","observation_id":"54a2f60a-b289-4e47-869a-994b74e3efba","resolution":{"observed_at":"2026-08-06T19:37:23.658026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:23.474212Z","title":"Evaluation of pretrained large language models in embodied planning tasks,","venue":null,"work_id":"80d51394-05a9-48dc-add4-9fbc74586b00","year":2023},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.702251Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:39af9582f3cdf081f44d698ddd709716ac611ce7c1051cf0338abf013fdc6600","observation_id":"9e289d02-8de7-4607-ae86-b41dfae5f008","resolution":{"observed_at":"2026-08-06T19:37:23.558719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:23.363710Z","title":"Grid: Scene-graph-based instruction-driven robotic task planning,","venue":null,"work_id":"82299cbf-2c82-498e-a083-c54506d8af58","year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.778827Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:a02b113052721a958ab8ddc4053ff0c1db39f66adce3d6dd8740087b47c4f162","observation_id":"c2bcbecc-d9b6-46b1-94b6-07a633486060","resolution":{"observed_at":"2026-08-06T19:37:23.421857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:23.226892Z","title":"Lookplangraph: Embodied instruction following method with VLM graph augmentation,","venue":null,"work_id":"0887c355-e593-4ca4-b08b-dec341621f12","year":2025},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.865921Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:2ed4ebfd8deb67bcb84ad822ce20a682d4bd590ba4ce27d1f8a790d253d6b199","observation_id":"badc39b8-575d-4ce7-8348-5c8b23f8565a","resolution":{"observed_at":"2026-08-06T19:37:23.287523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2204.02329","last_updated":"2022-10-10T15:25:40Z","snapshot_observed_at":"2026-07-06T12:57:05.374703Z","submitted_at":"2022-04-05T16:33:44Z","title":"Can language models learn from explanations in context?","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.02329","snapshot_observed_at":"2026-08-06T19:37:19.927719Z","title":"Can lan- guage models learn from explanations in context?","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:19.927719Z"},"links":{"cited_paper":"/paper/2204.02329","citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:e3eb696c4b9ba3cbeca2bbdc42f751c3fad47c60ed667ec7fa1c2e00b490858c","observation_id":"dbf52777-c65a-44b4-b99f-52f51664855c","resolution":{"observed_at":"2026-08-06T19:37:19.927719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:23.126655Z","title":"Common sense plan verification with large language models,","venue":null,"work_id":"c809131d-e564-42e5-b39e-750498662c58","year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.001322Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:95242889d9fd1a72f03c6ac00088b07ab7034c3b1706ce9fa69a52d60321d4e2","observation_id":"971b6ab1-aae6-499c-bad4-1c507147f127","resolution":{"observed_at":"2026-08-06T19:37:23.174298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:20.065979Z","title":"Temporal-logic- based reactive mission and motion planning,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.065979Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:b59c760da4dda204390a59ec3cb008ef0b213ab540ab94dce80586641c7c9fc5","observation_id":"f62255b0-0bf7-4bc2-9189-83d15b2827e2","resolution":{"observed_at":"2026-08-06T19:37:20.065979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:23.009750Z","title":"Iterative temporal planning in uncertain environments with partial satisfaction guarantees,","venue":null,"work_id":"fbfb63aa-32f2-46e5-8860-2d5ca2b233fd","year":2016},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.136855Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:21008eb834f42c8b9d0d23efc289ef8fbf5f74f66fd8f971d7c3384cb00a5e5e","observation_id":"9f3f3e7a-2b20-43d4-b6a7-5b074faf543b","resolution":{"observed_at":"2026-08-06T19:37:23.067751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:22.876810Z","title":"Distributed multi-robot co- ordination with time-scale temporal logic tasks,","venue":null,"work_id":"24910ee2-5c54-48a2-8ae3-2d577ca1abfd","year":2016},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.209188Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:7e4339a8a5e2575375920c725ece286316a55aa8f69abc2f3819f84a5b44dc41","observation_id":"6dd5c44d-6b29-4939-b18a-477c738ce26b","resolution":{"observed_at":"2026-08-06T19:37:22.942687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:20.274082Z","title":"Llm-planner: Few-shot grounded planning for embodied agents with large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.274082Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:11ebb42e1cf7fd700185d711a5760b49fc99329270a53edfbca7013bbe17ea0c","observation_id":"3c27fb75-5a01-4db1-90a3-412412505bf0","resolution":{"observed_at":"2026-08-06T19:37:20.274082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01734","last_updated":"2020-03-31T01:18:33Z","snapshot_observed_at":"2026-07-06T08:41:52.497343Z","submitted_at":"2019-12-03T23:18:59Z","title":"ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01734","snapshot_observed_at":"2026-08-06T19:37:20.363017Z","title":"ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.363017Z"},"links":{"cited_paper":"/paper/1912.01734","citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:788ba9c442d30e31bd28fdd331c56c2b0af960910c412d9fe8e7aa4847fe4e47","observation_id":"807e83d2-ab7f-404f-a0ef-d33d6b23cf3d","resolution":{"observed_at":"2026-08-06T19:37:20.363017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:22.720102Z","title":"Virtualhome: Simulating household activities via programs,","venue":null,"work_id":"ae24718b-bc9a-4a80-aa88-cae90d6afa65","year":2018},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.423237Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:aa4e4d38a6db0b7826e430b8174ea248c246e1c8bba84afda8e9ceee97fa0890","observation_id":"2287d480-9545-4423-86f1-92ed8a7a85fb","resolution":{"observed_at":"2026-08-06T19:37:22.788287Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:22.578567Z","title":"From informal safety-critical requirements to property-driven formal validation,","venue":null,"work_id":"36578e96-8741-43c0-a5ac-a2449c9d5093","year":2008},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.506098Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:0604c9aae97760c06ae2067d8d4ab2366f91979bde9d18d9c75e1091d779b8ba","observation_id":"7f41cf39-e033-40e0-9ddd-b0f3721919f8","resolution":{"observed_at":"2026-08-06T19:37:22.646330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:22.463099Z","title":"Val: Automatic plan validation, continuous effects and mixed initiative planning using pddl,","venue":null,"work_id":"8a87e3fd-dca5-4f38-be9e-42aca39f5239","year":2004},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.554023Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:32bf6ab1c7a849b0035a12c42d17e3d6cefc2207a6a45c9d515bdd6c2bce70ac","observation_id":"6afeee18-1d87-4651-8847-7a0bb74b0f28","resolution":{"observed_at":"2026-08-06T19:37:22.511688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.02193","last_updated":"2024-10-03T04:14:21Z","snapshot_observed_at":"2026-08-06T03:27:47.616528Z","submitted_at":"2024-10-03T04:14:21Z","title":"Guiding Long-Horizon Task and Motion Planning with Vision Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.02193","snapshot_observed_at":"2026-08-06T19:37:20.657019Z","title":"Guiding long-horizon task and motion planning with vision language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.657019Z"},"links":{"cited_paper":"/paper/2410.02193","citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:3a71e26868ba532261eeeaa1005c959257baaae516f92a373c31f29e4430bc3a","observation_id":"ee1a5354-ac6c-4700-a473-840d19c3188d","resolution":{"observed_at":"2026-08-06T19:37:20.657019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.08587","last_updated":"2023-06-19T22:28:02Z","snapshot_observed_at":"2026-08-06T08:50:00.893942Z","submitted_at":"2023-04-17T20:07:24Z","title":"Grounding Classical Task Planners via Vision-Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.08587","snapshot_observed_at":"2026-08-06T19:37:20.711923Z","title":"Grounding classical task planners via vision-language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.711923Z"},"links":{"cited_paper":"/paper/2304.08587","citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:c6ace3387981d9926d9aa45f866b9ca8148a82f837c289e9c5637b875aa6474e","observation_id":"b6b4c4b3-0ffd-4298-adb1-c0bd95ba3d7e","resolution":{"observed_at":"2026-08-06T19:37:20.711923Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:20.814142Z","title":"Text2motion: From natural language instructions to feasible plans,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.814142Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:d6dd4b331b6581f0655a7f4727bba5fe4397c8a4a07b71bfc8690cb8bcfc6a42","observation_id":"baec1d9c-c284-4048-89cd-199d4b867070","resolution":{"observed_at":"2026-08-06T19:37:20.814142Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:22.318640Z","title":"LLatrieval: LLM-verified retrieval for verifiable generation,","venue":null,"work_id":"7e7793e8-d4c9-4e4a-ac39-48691bfb0759","year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.864703Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:c5c7448092673d6e1a577b7462dcd2b7bad366a3c9a8a5d7c69a69058faf9c40","observation_id":"eb254b26-8072-4784-bb1c-70475bf04209","resolution":{"observed_at":"2026-08-06T19:37:22.399501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05318","last_updated":"2024-10-05T05:21:48Z","snapshot_observed_at":"2026-07-06T19:29:14.335016Z","submitted_at":"2024-10-05T05:21:48Z","title":"Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05318","snapshot_observed_at":"2026-08-06T19:37:20.955065Z","title":"Improving llm reasoning through scaling inference computation with collabora- tive verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:20.955065Z"},"links":{"cited_paper":"/paper/2410.05318","citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:e853888eb03aae3adc2d411876ddad53d10ad183b7fc66ab2716f504f996bbd3","observation_id":"6b20e1c9-7841-4f00-8940-faf064b1bbf3","resolution":{"observed_at":"2026-08-06T19:37:20.955065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.04157","last_updated":"2024-02-20T11:38:09Z","snapshot_observed_at":"2026-08-05T23:10:45.638827Z","submitted_at":"2024-01-08T18:57:54Z","title":"RePLan: Robotic Replanning with Perception and Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.04157","snapshot_observed_at":"2026-08-06T19:37:21.025198Z","title":"Replan: Robotic replanning with perception and language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:21.025198Z"},"links":{"cited_paper":"/paper/2401.04157","citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:dd0fc5add54ce9702f25adbbc59ab23cedf0dc19d751e2d27e9e43fa7985d808","observation_id":"80c87ae8-7348-46e8-8c14-1cb9824f02a0","resolution":{"observed_at":"2026-08-06T19:37:21.025198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:22.193058Z","title":"The temporal logic of programs,","venue":null,"work_id":"737f8eb7-34d3-4ef5-9531-7604b38d2f56","year":1977},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:21.063030Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:ebf9c6d3bcb99dd203970e4977d4a61bd82644b4616edb0a02db722c18ea96b5","observation_id":"46e75c3a-97af-4efd-9477-773c6c358e41","resolution":{"observed_at":"2026-08-06T19:37:22.252786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:22.039138Z","title":"The temporal logic of reactive and concur- rent systems,","venue":null,"work_id":"d23a4a77-9998-4958-8af8-9af94aff3148","year":1992},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:21.162305Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:584d0755158dde8017fd43621bd57956b2641b095d3c89195b98987af7d976bd","observation_id":"1a443e45-a0d4-4d4e-8fa1-0993ac894400","resolution":{"observed_at":"2026-08-06T19:37:22.099859Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:21.226056Z","title":"Temporal logic motion planning for dynamic robots,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:21.226056Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:e08202c48a122b639acd56d022fb0cf9f059e2597d34e4511858e2cc1844d4bb","observation_id":"88b90f5e-e680-4b5e-af83-7dc78087e21b","resolution":{"observed_at":"2026-08-06T19:37:21.226056Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:37:21.899600Z","title":"Soter: A runtime assurance framework for programming safe robotics systems,","venue":null,"work_id":"6b1040a2-82af-4294-a117-e993ab84b25f","year":2019},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:21.336106Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:8ccd4bc0181d1980b15062331fcd4d6d1cb2787b0b072e1462be7cdebdfa35a1","observation_id":"1df19a5c-5db6-4723-be96-51e0372bb5f8","resolution":{"observed_at":"2026-08-06T19:37:21.957333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:21.761175Z","title":"Generalizing to new domains by mapping natural language to lifted ltl,","venue":null,"work_id":"0af2572f-cc3b-4bc5-877a-66dc33cec842","year":2022},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:21.396806Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:0a9118097dbd0fea361350c0a1aa5809b49dd3101c9b36bdb0860f0fbc521ebc","observation_id":"b9836fb0-7653-409d-8d78-a05bde82496c","resolution":{"observed_at":"2026-08-06T19:37:21.842850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-08-06T19:37:21.634337Z","title":"Grounding language to non- markovian tasks with no supervision of task specifications","venue":null,"work_id":"75c8eed0-7a0f-4e71-b0ed-6aa55c2448a7","year":2020},"citing_paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T19:37:21.444390Z"},"links":{"citing_paper":"/paper/2507.05118"},"observation_digest":"sha256:a7c0962b7027b6495bcb36033c6419c7d00e42ce1b1180fd4c23219e3e82906a","observation_id":"bbbfd17c-e6dc-4314-820f-38dcdb0715a6","resolution":{"observed_at":"2026-08-06T19:37:21.684978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.05118","last_updated":"2025-07-07T15:31:36Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T22:05:01.659865Z","submitted_at":"2025-07-07T15:31:36Z","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":0,"verified_fuzzy":21},"total_outbound_references":32},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 1 inbound Pith citation observation for arXiv:2507.05118."}