{"as_of":"2026-08-20T13:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9db56ce32f9511915257c46250d4a42a4fb9ea7869d01f5233c99e80774f4e74","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":7,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":7,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":7,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T21:44:52.874165Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":3,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-15T21:44:52.874165Z","title":"Nl2tl:Transform- ing natural languages to temporal logics using large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.09108","last_updated":"2025-05-14T03:33:46Z","snapshot_observed_at":"2026-08-18T19:24:55.044084Z","submitted_at":"2025-05-14T03:33:46Z","title":"Air-Ground Collaboration for Language-Specified Missions in Unknown Environments","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T21:44:52.874165Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2505.09108"},"observation_digest":"sha256:fced5d4f07482440350b8215c691e422a64b2eb8ae3dd968f3a65f45e85ce8d8","observation_id":"f28f694d-9236-45dc-808b-e88d50666dfa","resolution":{"observed_at":"2026-08-15T21:44:52.874165Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-15T20:19:23.682214Z","title":"Nl2tl: Transforming natural languages to temporal logics using large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13376","last_updated":"2025-05-19T17:19:43Z","snapshot_observed_at":"2026-08-15T20:12:45.726611Z","submitted_at":"2025-05-19T17:19:43Z","title":"Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T20:19:23.682214Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2505.13376"},"observation_digest":"sha256:a7896f5b162380b5b7bfa18452356110c35c240a7c7d0dc9f5bef785b90a93c1","observation_id":"2f5d8989-c296-4642-8d78-2c04ab132893","resolution":{"observed_at":"2026-08-15T20:19:23.682214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-06T15:59:20.884693Z","title":"Nl2tl: Trans- forming natural languages to temporal logics using large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-15T02:09:10.185184Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.884693Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:80c06b84e839c1722dc46f002965ef72794b25a017c573c3b4959a215c6ea5fe","observation_id":"55d4b9e9-4e3f-46e4-b373-c012799c416a","resolution":{"observed_at":"2026-08-06T15:59:20.884693Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":"2305.07766","doi":"10.48550/arxiv.2305.07766","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2305.07766 (2023)","venue":"arXiv (Cornell University)","work_id":"e1ee78d3-875f-48c3-acdf-d899d0c13e2b","year":2023},"citing_paper":{"arxiv_id":"2605.12651","last_updated":"2026-05-14T01:44:18Z","snapshot_observed_at":"2026-07-06T23:24:18.302402Z","submitted_at":"2026-05-12T18:57:25Z","title":"Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-05-14T21:33:43.740593Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2605.12651"},"observation_digest":"sha256:6f74a9ef42e1af52f6b40b26d56bdf7b09afc74c36b58bfb2fe8f2fb7dc93dea","observation_id":"f4b172e1-119b-42f3-a9a3-7faee2fde3b4","resolution":{"observed_at":"2026-05-14T21:37:59.692132Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":"2305.07766","doi":"10.48550/arxiv.2305.07766","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2305.07766 (2023)","venue":"arXiv (Cornell University)","work_id":"e1ee78d3-875f-48c3-acdf-d899d0c13e2b","year":2023},"citing_paper":{"arxiv_id":"2605.12651","last_updated":"2026-05-14T01:44:18Z","snapshot_observed_at":"2026-07-06T23:24:18.302402Z","submitted_at":"2026-05-12T18:57:25Z","title":"Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic","version":2},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-05-15T05:03:14.358407Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2605.12651"},"observation_digest":"sha256:f6c040faf94442908a3e19d970acd232dac8767173105e3f12e567f6e3b0dea1","observation_id":"a5045c79-f3c6-4272-82f4-dd30f1312619","resolution":{"observed_at":"2026-05-15T05:05:01.531738Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":"2305.07766","doi":"10.48550/arxiv.2305.07766","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2305.07766 (2023)","venue":"arXiv (Cornell University)","work_id":"e1ee78d3-875f-48c3-acdf-d899d0c13e2b","year":2023},"citing_paper":{"arxiv_id":"2605.22874","last_updated":"2026-05-20T03:31:51Z","snapshot_observed_at":"2026-08-16T10:32:29.034642Z","submitted_at":"2026-05-20T03:31:51Z","title":"NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-25T06:10:39.733627Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2605.22874"},"observation_digest":"sha256:596491be8d738bafe98445d93acfb2e595428522a99a044a2066ba088e70259e","observation_id":"0473b708-462b-4a4d-8681-96dfdc646c80","resolution":{"observed_at":"2026-05-25T06:15:23.803610Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.07766","snapshot_observed_at":"2026-08-04T19:45:28.206259Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.01851","last_updated":"2026-08-03T07:58:35Z","snapshot_observed_at":"2026-08-17T12:44:12.584111Z","submitted_at":"2026-08-03T07:58:35Z","title":"Weights or Skills? A Survey of Robot-Learning Techniques: from Action-Predicting Weights to Robots that Write their Own Skills","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T19:45:28.206259Z"},"links":{"cited_paper":"/paper/2305.07766","citing_paper":"/paper/2608.01851"},"observation_digest":"sha256:943c8303f76183f9f2d96b41cb6292f984f9f733db5e91c879f2083cf424deed","observation_id":"be4a8da5-707b-4320-9771-cb270e61ee74","resolution":{"observed_at":"2026-08-04T19:45:28.206259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2305.07766/citation-record","integrity":"/paper/2305.07766/integrity","json":"/paper/2305.07766/citation-record.json","paper":"/paper/2305.07766"},"outbound":[],"paper":{"arxiv_id":"2305.07766","last_updated":"2024-03-22T00:28:51Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-18T21:42:07.289717Z","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2305.07766."}