{"as_of":"2026-08-14T15:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:49cdd6111b793fee22f6639e174587a2c97d687c1c0f5c2d8937c3b6bf97db94","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-14T06:32:32.682623+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-12T17:43:38.708925Z","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-08-12T15:02:13.436236Z","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:4e88cd932662bb24aaa69636fca68b9eb73a792b121aad2ab14529176032bdc7","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:f1cb261bb26dcdcdc1819a4a0c8d05859e5148be6acdb6fb56ae046cf2100aa2","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:d736f98ab51106b721972abdaf693ed4c55bce00390681e57f7f4337fbdfbad7","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:9bf73df33bb8473612b1991543cf1927654c0e41c081cf11508c4f90fd1e8323","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T16:04:24.671515Z","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-12T17:43:38.708925Z","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:a059b968a898ce382b8756e6ff562e9356d36251f3e5a393014a800c28b9a148","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-12T17:43:38.708925Z","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:6a9d661717d42eae4539b9f1e6feec3dcbfa6efad90ec859a35b4072435d8a79","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:e69c00b1011eb96763a44c0cc4fa9ce84a326b200704c60732a3c255a8e49365","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:8d814f00efbb0e800bcb80318f7a51bd8c38b77b8cc93448f95dc0bb6b9faa5c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:9d2016fe869557211c655a051429136d8d748582f2ee0248094ff42411367971","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:67aca6e9bf0f2b684cbe43cdd0ce6c34ca90b06ab8728e525871864c6aab398e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:63534209bac00b1c1af139b029f606af32d3dd85d08703c7c258b54d4d0cb88e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T16:08:08.803815Z","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-12T17:43:38.708925Z","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:15f4c6a85513901b299b12888439a5763ca5d5d3dee4fa1a277dbab12cfff2dd","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-12T17:43:38.708925Z","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:2d334a2e63e942c742d664e5ac86621ab03129b9d675a86ce8cf96d67d09970f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:9ee2103d9747e8b65e4b493e755594609c982d826d4269302e9901d4e798d3b3","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-12T17:43:38.708925Z","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:28a6b47771b9b320f1d40e421408b5da650280bddda9988dcdda74d1825162c5","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:a75d256d295c90e765697903cc0c50d2c5e5d937a5b7e18ad458a4a88920cb49","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:22b754f700ad04a3744959bfd4017f46dfcbae292eac404f82d3750b2eb6d6e1","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-08-12T02:06:48.074254Z","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-12T17:43:38.708925Z","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:d02dfe47793f410f7e1d16612ebcbcc9a31f7398157953d06fe0018adc54d812","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-12T17:43:38.708925Z","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:17b0f50dd8ab4c30831f681910065b036423a125735408e40938386ced3f6fc2","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:256479ee1fa9e7f8ac8a9b66f4943b15017a2b1abae216d5da8b6621556c3ea4","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:b85e5f44d059cfe3f278f7759699ec7dceee58f729dc6aab013826a9f81b1509","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T01:35:10.442787Z","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-12T17:43:38.708925Z","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:c943d77bfa3d639a4309908039529d1713d40170fc7e20bf73bee08eb596c1de","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-13T12:00:37.756907Z","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-12T17:43:38.708925Z","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:70374b8a3d81238f40804d886e8e6fcd1ea819789c3050e3bbd01cf788f7f147","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-12T17:43:38.708925Z","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:f69ec4001c2ba784bb94624cea4456b2d790d82e361028a064ca9d2767773b82","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-12T17:43:38.708925Z","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:6609f9d16c246861f20da1f2949f0ff93fe5a7d6d8c2639b2943939f97241b46","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T00:37:24.412909Z","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-12T17:43:38.708925Z","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:f3231b69a16cbafa0809d3858941166c15cd16fa5ef5269ebb907c8dbeeb9e5c","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-13T04:47:05.496469Z","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-12T17:43:38.708925Z","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:5b293295c7c8cf7cbf5ee17f83e8b88a67627a736f6b1f55c70084818e800720","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-12T17:43:38.708925Z","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:b517f87ba8f845336e8e78359b00bbae5296f90fa00f16f1ea750f4e722f7282","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:ac7e64f562aec0e3aa52b377728ec1d3b11fecbc0562440538c1ff504fe10bda","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:dbe9e09c759d38c976b715ada22ba2b7ceb81a958aeaf8795a8bc663d5766a4b","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-12T17:43:38.708925Z","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:eeb76c84de6f870dac476ded381c2a133fb5b010d3d1e1c14e88b3d2b988642c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:d0ba2ed5bcb24e795762592ac11508afc8030e9d027da9986e08e6fbb089fa06","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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:eba47061e802e7157e77d81fbb18ca9637f60306ed1af2d5051b7defa6af7370","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T17:43:38.708925Z","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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 1 inbound Pith citation observation for arXiv:2507.05118."}