{"as_of":"2026-08-08T20:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e9da6455918be14feb2be91a7664e94110078ad1245e4377b5a1d23cf7fea2e1","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T15:47:15.295884Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2509.18384/citation-record","integrity":"/paper/2509.18384/integrity","json":"/paper/2509.18384/citation-record.json","paper":"/paper/2509.18384"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2005.14165","last_updated":"2020-07-22T19:47:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-05-28T17:29:03Z","title":"Language Models are Few-Shot Learners","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2005.14165","snapshot_observed_at":"2026-08-04T15:47:10.007296Z","title":"Language models are few-shot learners,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.007296Z"},"links":{"cited_paper":"/paper/2005.14165","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:5746396b8173b8b2b2590c6c1f7e0626cbf202bbf8cd6a6ad924640a52907031","observation_id":"c657706d-fffb-44b6-8f28-1e653e1fa672","resolution":{"observed_at":"2026-08-04T15:47:10.007296Z","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-04T15:47:10.097321Z","title":"Llm-planner: Few-shot grounded planning for embodied agents with large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.097321Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:7f1aba3c4bf4795fcf8a2ebab2b5efed9d088c69a4158bcab26ad93961e5d066","observation_id":"5aff815c-bbca-455a-859e-451e7a47c567","resolution":{"observed_at":"2026-08-04T15:47:10.097321Z","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-04T15:47:10.209977Z","title":"Llm+p: Empowering large language models with optimal planning proficiency,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.209977Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:a7dcf1746c889bd43c021f9723ca3efb1efa7ea8d85260690e91387ed08f975e","observation_id":"94458386-5595-4b7e-82b7-8d1f45e9ad47","resolution":{"observed_at":"2026-08-04T15:47:10.209977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03629","last_updated":"2023-03-10T01:00:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-06T01:00:32Z","title":"ReAct: Synergizing Reasoning and Acting in Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03629","snapshot_observed_at":"2026-08-04T15:47:10.346588Z","title":"React: Synergizing reasoning and acting in language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.346588Z"},"links":{"cited_paper":"/paper/2210.03629","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:7bab8e04b736a3c5564f850008fea191e7f094a4f4672f5cacc3d25372838d64","observation_id":"4a7921e2-369a-4096-9921-402a985e3f75","resolution":{"observed_at":"2026-08-04T15:47:10.346588Z","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-04T15:47:10.442680Z","title":"Fine-tuning language models using formal methods feedback: A use case in autonomous systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.442680Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:9b41a034048936f4a581344ace851203825f34639e2d5378ec6a860a870cb316","observation_id":"8e9f6e94-84d9-483b-b0af-004f709eef95","resolution":{"observed_at":"2026-08-04T15:47:10.442680Z","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-04T15:47:10.523608Z","title":"Deploying and evaluating llms to program service mobile robots,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.523608Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:3a1af4de08622057a6ca8768143cf913c5a2872b63de62989a353d7be7716b7b","observation_id":"4e5813ae-463e-470b-b591-d806a8f6e9cb","resolution":{"observed_at":"2026-08-04T15:47:10.523608Z","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-04T15:47:10.604536Z","title":"Progprompt: Generating situated robot task plans using large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.604536Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:754237817a6c31fca181b2437659695dbf8a9f27851f48f501fad0b7120f7372","observation_id":"49732ebc-3da0-4f5d-beae-f7cbee698f84","resolution":{"observed_at":"2026-08-04T15:47:10.604536Z","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-04T15:47:10.697229Z","title":"Llm- based robot task planning with exceptional handling for general purpose service robots,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.697229Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:7f11dac761891baeb93571e29abf64cd7ffc0b9044a726e7446ab36aaebd1cfd","observation_id":"5f2f83b4-940b-4fb2-ab94-7c0755724208","resolution":{"observed_at":"2026-08-04T15:47:10.697229Z","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-04T15:47:10.793405Z","title":"On the planning, search, and memorization capabilities of large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.793405Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:2dc9d6bbfe26c988c572f7636bf0e86a3bcb3fa3ed447796c1d4776742c71160","observation_id":"4d101e68-9333-49b1-861b-72987712602b","resolution":{"observed_at":"2026-08-04T15:47:10.793405Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.06318","last_updated":"2024-08-12T17:39:01Z","snapshot_observed_at":"2026-08-06T07:07:41.347586Z","submitted_at":"2024-08-12T17:39:01Z","title":"Can We Rely on LLM Agents to Draft Long-Horizon Plans? Let's Take TravelPlanner as an Example","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.06318","snapshot_observed_at":"2026-08-04T15:47:10.833508Z","title":"Can we rely on llm agents to draft long-horizon plans? let’s take travelplanner as an example,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.833508Z"},"links":{"cited_paper":"/paper/2408.06318","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:d905b3fd6ebdad54ae3210d0a43f2f3e8ebd27524e8770457141da00e5ba32bc","observation_id":"aa0b98f1-1318-4c36-8ed9-70327ea31dc2","resolution":{"observed_at":"2026-08-04T15:47:10.833508Z","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-04T15:47:10.942130Z","title":"Direct preference optimization: Your language model is secretly a reward model,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:10.942130Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:c9341d438173145810fb08b2f7a0aa42307034b7d814db1e2c77450e78f495b9","observation_id":"9e0b50f4-3480-495d-acff-482bc863f075","resolution":{"observed_at":"2026-08-04T15:47:10.942130Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-04T15:47:11.017703Z","title":"Gpt-4 technical report,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.017703Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:a5f1748c0a34dbcdbc3251232229f731ec71b490901a88dea713aebd6b50a9b1","observation_id":"666ab3fb-9999-4902-a7e8-f36fe511f41b","resolution":{"observed_at":"2026-08-04T15:47:11.017703Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.09261","last_updated":"2022-10-17T17:08:26Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-17T17:08:26Z","title":"Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.09261","snapshot_observed_at":"2026-08-04T15:47:11.094422Z","title":"Challenging big-bench tasks and whether chain-of-thought can solve them,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.094422Z"},"links":{"cited_paper":"/paper/2210.09261","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:dec5e6b01e1f6a7d577d6375d9267a6a61d213daabdfb9ce10ec431f30ed15b4","observation_id":"a70a0795-d401-4cac-84cd-30b53a65dbe8","resolution":{"observed_at":"2026-08-04T15:47:11.094422Z","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-04T15:47:11.203493Z","title":"Joint verification and refinement of language models for safety-constrained planning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.203493Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:da3b41eec481d3f255a9fdec6e17a0f88707ce103ead99887163ab3d676d6ef8","observation_id":"15adc3bc-cc4e-489a-b0be-de7b1c154368","resolution":{"observed_at":"2026-08-04T15:47:11.203493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.01910","last_updated":"2023-03-10T17:20:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-11-03T15:43:03Z","title":"Large Language Models Are Human-Level Prompt Engineers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.01910","snapshot_observed_at":"2026-08-04T15:47:11.288825Z","title":"Large language models are human-level prompt engineers,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.288825Z"},"links":{"cited_paper":"/paper/2211.01910","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:deaade2b34ecd229566036bea98c0ec80f8de9971faf08e0ec43889f67948d2f","observation_id":"4cebab2b-d222-49a7-b78b-9fa2de4e71aa","resolution":{"observed_at":"2026-08-04T15:47:11.288825Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.00234","last_updated":"2024-10-05T11:47:02Z","snapshot_observed_at":"2026-07-06T14:36:25.690733Z","submitted_at":"2022-12-31T15:57:09Z","title":"A Survey on In-context Learning","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.00234","snapshot_observed_at":"2026-08-04T15:47:11.361709Z","title":"A survey on in-context learning,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.361709Z"},"links":{"cited_paper":"/paper/2301.00234","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:885d26409f1a8aead4b41845be853654a2d981ca69fafe5cf324ac3628591d64","observation_id":"96732b21-5dfb-4393-9543-a731b2d95484","resolution":{"observed_at":"2026-08-04T15:47:11.361709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11382","last_updated":"2023-02-21T12:42:44Z","snapshot_observed_at":"2026-07-06T14:54:37.559648Z","submitted_at":"2023-02-21T12:42:44Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.11382","snapshot_observed_at":"2026-08-04T15:47:11.468854Z","title":"A prompt pattern catalog to enhance prompt engineering with chatgpt,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.468854Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:4740739e6ef95e71006bdf9e2bf9a86d8fef58182c470068b1d3dd6fe974f908","observation_id":"dcd669a9-2607-4626-9d57-b02300fd231a","resolution":{"observed_at":"2026-08-04T15:47:11.468854Z","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-04T15:47:11.593552Z","title":"Prompt engineering in large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.593552Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:0263ccd181c47ea1745c1cccf2e1af27b60a0a9d45b72253b65f3d800f7b433e","observation_id":"0437ca45-c610-4a12-b48c-1964e84b18b6","resolution":{"observed_at":"2026-08-04T15:47:11.593552Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.16673","last_updated":"2025-01-30T16:40:12Z","snapshot_observed_at":"2026-08-06T08:29:39.486028Z","submitted_at":"2025-01-28T03:18:48Z","title":"LLM-AutoDiff: Auto-Differentiate Any LLM Workflow","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.16673","snapshot_observed_at":"2026-08-04T15:47:11.705992Z","title":"Llm-autodiff: Auto-differentiate any llm workflow,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.705992Z"},"links":{"cited_paper":"/paper/2501.16673","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:f4569e2d5c503db660a5a1238ab0a2e91b56452c7a879ade5199677fa2589f63","observation_id":"dd225e30-75d8-4088-92c5-dfef1d96f6fa","resolution":{"observed_at":"2026-08-04T15:47:11.705992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.01325","last_updated":"2022-02-15T19:09:36Z","snapshot_observed_at":"2026-08-06T19:18:51.065158Z","submitted_at":"2020-09-02T19:54:41Z","title":"Learning to summarize from human feedback","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.01325","snapshot_observed_at":"2026-08-04T15:47:11.822384Z","title":"Learning to summarize from human feedback,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.822384Z"},"links":{"cited_paper":"/paper/2009.01325","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:b00b063f1a4cd9958d9d0903e2f53d46b6344f3269cc43f9d497f92bcc9b8d9f","observation_id":"54180fd1-7ce2-4701-a52a-5d103d667734","resolution":{"observed_at":"2026-08-04T15:47:11.822384Z","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-04T15:47:11.945493Z","title":"Training language models to follow instructions with human feedback,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:11.945493Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:956d88966c354272b26fe36d86f4960c0709e17e37e5604888decf400351aa43","observation_id":"03b7123a-d432-4a21-a734-a9345e577469","resolution":{"observed_at":"2026-08-04T15:47:11.945493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.18290","last_updated":"2024-07-29T22:26:36Z","snapshot_observed_at":"2026-08-01T16:34:38.795326Z","submitted_at":"2023-05-29T17:57:46Z","title":"Direct Preference Optimization: Your Language Model is Secretly a Reward Model","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.18290","snapshot_observed_at":"2026-08-04T15:47:12.035968Z","title":"Direct preference optimization: Your language model is secretly a reward model,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.035968Z"},"links":{"cited_paper":"/paper/2305.18290","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:289ebbb97bb5f9d7c74fb32a4e40718374b4d91023100ba8f4bd9c3fcd004539","observation_id":"0db5017b-cda6-4ef4-9843-6e3d6c74f830","resolution":{"observed_at":"2026-08-04T15:47:12.035968Z","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-04T15:47:12.138122Z","title":"Multimodal pretrained models for verifiable sequential decision-making: Planning, grounding, and perception,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.138122Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:fc1026a6c088c2d47263401b20e9c6f547853404ce906a99a5310460a074c431","observation_id":"98b8a0ec-8a35-4cba-b80c-5750919a7c77","resolution":{"observed_at":"2026-08-04T15:47:12.138122Z","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-04T15:47:12.214594Z","title":"Know where you’re uncertain when planning with multimodal foundation models: A formal framework,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.214594Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:a759fc0dbb5fd50a33ffb27a1160d47658652f6ed79e8818aef8a2cc34459c4e","observation_id":"6c59f913-cd2d-4bbc-8ba9-0b1324450c5b","resolution":{"observed_at":"2026-08-04T15:47:12.214594Z","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-04T15:47:12.286411Z","title":"Joint prompt optimization of stacked llms using variational inference,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.286411Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:9c2d664aad42222a0eee9c01fde3e6201beb33ac3bd65be4d8a2ff366877ee65","observation_id":"2a359f8d-a3b7-4cd9-9d1c-5fbff11c85e2","resolution":{"observed_at":"2026-08-04T15:47:12.286411Z","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-04T15:47:12.406983Z","title":"Large language models as optimizers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.406983Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:7e6558691d55a10cd27ac3d3b8f08a25df7baa4d678a35881a8673c0286bd6e4","observation_id":"58e06c1f-d01a-4b05-826e-929d29ffb55c","resolution":{"observed_at":"2026-08-04T15:47:12.406983Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.07496","last_updated":"2024-06-11T17:32:21Z","snapshot_observed_at":"2026-07-06T18:29:04.294349Z","submitted_at":"2024-06-11T17:32:21Z","title":"TextGrad: Automatic \"Differentiation\" via Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.07496","snapshot_observed_at":"2026-08-04T15:47:12.521200Z","title":"Textgrad: Automatic","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.521200Z"},"links":{"cited_paper":"/paper/2406.07496","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:ed785179e41fb3e0a2212709eee8025a156e07eb7696bfdc510eb61080429d63","observation_id":"9be6e710-5437-43e3-8e68-4fb3831df677","resolution":{"observed_at":"2026-08-04T15:47:12.521200Z","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-04T15:47:12.614889Z","title":"Dspy: Compiling declarative language model calls into state-of-the- art pipelines,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.614889Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:320897899cb9806eaed8f68ea19b865f50129054b1a99c8f99f29e5687c8858d","observation_id":"01352ca2-aa2e-43b7-83f3-07977ef5897b","resolution":{"observed_at":"2026-08-04T15:47:12.614889Z","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-04T15:47:12.775303Z","title":"Promptagent: Strategic planning with language models enables expert-level prompt optimization,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.775303Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:40db279308938488f1ad9022223d96a41edfd82adc4d2ee17bd6eaed61a9484b","observation_id":"a1cea746-d74a-42e2-b94b-2e6fafe7aac0","resolution":{"observed_at":"2026-08-04T15:47:12.775303Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.03495","last_updated":"2023-10-19T04:37:25Z","snapshot_observed_at":"2026-08-06T03:31:54.947656Z","submitted_at":"2023-05-04T15:15:22Z","title":"Automatic Prompt Optimization with \"Gradient Descent\" and Beam Search","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.03495","snapshot_observed_at":"2026-08-04T15:47:12.941106Z","title":"Automatic prompt optimization with","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:12.941106Z"},"links":{"cited_paper":"/paper/2305.03495","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:5f1778c0e810afa31523a8b413361a1180eddd1a458dd48e230be9f359153494","observation_id":"2ae57cb2-65ff-4ed8-9203-d33b666837aa","resolution":{"observed_at":"2026-08-04T15:47:12.941106Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.19457","last_updated":"2026-02-14T11:42:30Z","snapshot_observed_at":"2026-08-06T03:52:41.836315Z","submitted_at":"2025-07-25T17:42:32Z","title":"GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.19457","snapshot_observed_at":"2026-08-04T15:47:13.053845Z","title":"Gepa: Reflective prompt evolution can outperform reinforcement learning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:13.053845Z"},"links":{"cited_paper":"/paper/2507.19457","citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:77b99727ccb7e36aa994e1099263b1cd75a4664dd6190e80c1c7db1907b455f7","observation_id":"7b23e664-d998-4f2a-ab22-36dcb94cf60e","resolution":{"observed_at":"2026-08-04T15:47:13.053845Z","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-04T15:47:13.215927Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:13.215927Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:87cb5d4836a78489d81c298dbf88ff443678f0134674c17b6bd082f97cf04d1e","observation_id":"25a55611-f2b6-4f7a-867b-a7e7f150fb03","resolution":{"observed_at":"2026-08-04T15:47:13.215927Z","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-04T15:47:13.395194Z","title":"NuSMV 2: An opensource tool for symbolic model checking,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:13.395194Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:e739d5b507a37d3a4313aadfc262bcf38977a823af8888d6b43c6ad5b1e8071f","observation_id":"e98d7765-ff47-4445-a14e-2a79a4217dad","resolution":{"observed_at":"2026-08-04T15:47:13.395194Z","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-04T15:47:13.847659Z","title":"- If true, Action: Stop","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:13.847659Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:9d50d08ae7e1a90b3f5322e187e6dbfa077aceb6001242f88855e178e943f01e","observation_id":"8f43468d-072c-48d7-a9fb-8a8240cea320","resolution":{"observed_at":"2026-08-04T15:47:13.847659Z","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-04T15:47:14.042926Z","title":"- If true, proceed to step 3","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:14.042926Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:1b048363282a525b84acd4a09657f09e3dbccfe8f5cad1ac0ac76921c8b5dfab","observation_id":"5f784ab0-c9c9-4309-9344-49fd45689bfa","resolution":{"observed_at":"2026-08-04T15:47:14.042926Z","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-04T15:47:14.210407Z","title":"- If any are true, Action: Stop","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:14.210407Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:487422c0bd5e91a81a72fd0f21a7045a51271691b9a3351d5de0ac609fa9753f","observation_id":"f15d4855-03fb-46bf-a337-16b5b16b2127","resolution":{"observed_at":"2026-08-04T15:47:14.210407Z","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-04T15:47:14.379357Z","title":"- If any are true, Action: Stop","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:14.379357Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:40ca3e46bcfe4f832db66aee2c53c01a822e73e00553f0c35c862b7b18df5a24","observation_id":"53a1457b-defa-4d54-ad51-2186e1299c11","resolution":{"observed_at":"2026-08-04T15:47:14.379357Z","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-04T15:47:14.503561Z","title":"- If true, Action: Stop","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:14.503561Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:36b71e7e5c22c4d3d8d04ef9ebb05a3b53c7405ae76b51def15f43fb3deba194","observation_id":"8104613d-5167-45ac-8b65-92cd5fe7b608","resolution":{"observed_at":"2026-08-04T15:47:14.503561Z","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-04T15:47:14.650378Z","title":"go straight five meters and turn left","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:14.650378Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:7bb358d2d411f9ed7986a2a8b195c53c6950b285264e0a93aee395039ee66345","observation_id":"c0ddacf8-f210-49f8-99c4-1fdffa2c3fdc","resolution":{"observed_at":"2026-08-04T15:47:14.650378Z","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-04T15:47:14.798359Z","title":"- If true, return previous steps","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:14.798359Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:79af1b4bc99c389e45d45bfb74452aa694e905de0b5f49468816258393280874","observation_id":"4d05ce06-9948-40c7-99e8-70af83b17e67","resolution":{"observed_at":"2026-08-04T15:47:14.798359Z","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-04T15:47:14.942555Z","title":"- If true, Action: Stop","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:14.942555Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:c8b030491d8394dfe872cc8373b2d9b5dcf280bcbe6d0a8b150eb9622654a40d","observation_id":"d181148f-b549-46a9-84fc-445caa93a8fe","resolution":{"observed_at":"2026-08-04T15:47:14.942555Z","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-04T15:47:15.089458Z","title":"--Generated Plan--","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:15.089458Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:bcf33d7e10c28c96d038dd5246cf050ff21bb93b4406b41731520b370941025c","observation_id":"ed78cd19-60ae-4fd3-8495-0cdccde5f709","resolution":{"observed_at":"2026-08-04T15:47:15.089458Z","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-04T15:47:15.163376Z","title":"If there is a pedestrian, then stop","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:15.163376Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:3b0e6bd777031ed0adccd3e4d43b529ef11cadf2ac13eb3aa5544d4d2c96e593","observation_id":"97d33f54-ecd8-40e5-aabd-340deb7a0f70","resolution":{"observed_at":"2026-08-04T15:47:15.163376Z","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-04T15:47:15.295884Z","title":"- If no pedestrians, then turn left","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T15:47:15.295884Z"},"links":{"citing_paper":"/paper/2509.18384"},"observation_digest":"sha256:bfcec419b9eb3e48b3bbe18a680e1e99af61e6fb20541ca18e47db0f4164b0f3","observation_id":"709e3f80-aac9-4abf-9f45-d0a72ceedbc4","resolution":{"observed_at":"2026-08-04T15:47:15.295884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.18384","last_updated":"2026-05-25T22:53:07Z","latest_version":2,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-08T04:30:59.660287Z","submitted_at":"2025-09-22T20:14:32Z","title":"LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":44,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":44},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2509.18384."}