{"as_of":"2026-08-19T11:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d749071b895ebdcf260c5005eae7d6e1d740bd15aefdf5609b5c16b54cd79266","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":8,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":8,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":8,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":8,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:52:51.605671Z","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-22T18:56:58.169352Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":"2303.04864","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"450b060c-99a8-48f7-8fba-63fdf2f04714","year":2023},"citing_paper":{"arxiv_id":"2504.17180","last_updated":"2026-04-03T02:52:42Z","snapshot_observed_at":"2026-08-17T03:00:32.123465Z","submitted_at":"2025-04-24T01:34:12Z","title":"We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-22T18:56:39.735334Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2504.17180"},"observation_digest":"sha256:61494aefb671a166304a5d7ccea87518d43c80521c18a4b1efe9fccb493ba7d8","observation_id":"099b9af5-b3a9-435e-adb3-d8d1e5d895f1","resolution":{"observed_at":"2026-05-22T18:56:58.173378Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-08-07T04:22:32.607805Z","title":"nl2spec: Interactively translating unstructured natural language to temporal logics with large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-18T01:00:13.964175Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.607805Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:626e8caec5224916e5e02cda043eb07f9ddf3c8d6be3db174b5032e55608c34d","observation_id":"11a8c03f-20db-4e63-b86c-f826c4672dfd","resolution":{"observed_at":"2026-08-07T04:22:32.607805Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-08-07T01:07:23.342942Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-16T01:05:44.626821Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.342942Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:17c9ed880f201de20fe2da3989858950d36297d35b807c31984d0e65ecfcdae2","observation_id":"68970c94-da3b-4532-ab13-60e94936a4b5","resolution":{"observed_at":"2026-08-07T01:07:23.342942Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-08-15T19:52:51.605671Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.605671Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:58327d9b6f77412faeee86ed94a040457866aba6f5a7c744c718e0e3eed40257","observation_id":"62d9f65e-e390-4d74-85b2-47bb1ecac43c","resolution":{"observed_at":"2026-08-15T19:52:51.605671Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-08-06T16:13:49.499772Z","title":"Cosler, C","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-18T00:59:19.906372Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.499772Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:77c6038c490b073dae2cd548aef0acd590d4b55dfc0c8d34a34a5bdcee35bba8","observation_id":"2afde621-87dc-4154-8501-88055910f77a","resolution":{"observed_at":"2026-08-06T16:13:49.499772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":"2303.04864","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"450b060c-99a8-48f7-8fba-63fdf2f04714","year":2023},"citing_paper":{"arxiv_id":"2511.01423","last_updated":"2025-11-03T10:19:52Z","snapshot_observed_at":"2026-08-17T04:56:11.916804Z","submitted_at":"2025-11-03T10:19:52Z","title":"LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-18T01:56:50.023943Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2511.01423"},"observation_digest":"sha256:c7286b5f2212b23e0899e81e83af3b4def13f1e79369ea98bec7f658a3be5064","observation_id":"21cdadbd-d082-44f2-8eaa-a8ac82e0309b","resolution":{"observed_at":"2026-05-18T02:00:40.074618Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":"2303.04864","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"450b060c-99a8-48f7-8fba-63fdf2f04714","year":2023},"citing_paper":{"arxiv_id":"2602.13851","last_updated":"2026-04-14T17:18:00Z","snapshot_observed_at":"2026-08-17T21:27:27.707333Z","submitted_at":"2026-02-14T19:18:34Z","title":"Evaluating LLM-Generated ACSL Annotations for Formal Verification","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-15T22:15:21.599523Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2602.13851"},"observation_digest":"sha256:c541c17b3c19abcfbdfd55953549d6e1e6e498a82a5c0eab499c8cd5e2e08455","observation_id":"442fd7ab-93ca-4f19-ae5d-568846d459da","resolution":{"observed_at":"2026-05-15T22:16:42.667166Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":"2303.04864","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"450b060c-99a8-48f7-8fba-63fdf2f04714","year":2023},"citing_paper":{"arxiv_id":"2604.02709","last_updated":"2026-04-15T09:12:39Z","snapshot_observed_at":"2026-08-11T06:13:28.183495Z","submitted_at":"2026-04-03T04:06:39Z","title":"Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-13T19:51:08.304741Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2604.02709"},"observation_digest":"sha256:e5c158fc0c5ec0a7b784977d60fc2e43b8f492d8848a228851fb960fd5328904","observation_id":"290a15af-f5a6-4b59-9726-c6fa7926ff87","resolution":{"observed_at":"2026-05-13T19:53:11.774443Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2303.04864/citation-record","integrity":"/paper/2303.04864/integrity","json":"/paper/2303.04864/citation-record.json","paper":"/paper/2303.04864"},"outbound":[],"paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with 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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2303.04864."}