{"as_of":"2026-08-09T21:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e7008300441ccca4ff93d3e84f80f19765d13da729e7a9ce181a1da22338a085","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-09T06:31:02.800959+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-07T15:17:02.252475Z","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":13,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-07T15:17:02.252475Z","title":"Formal specifications from natural language.arXiv preprint arXiv:2206.01962,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.15740","last_updated":"2025-05-21T16:45:43Z","snapshot_observed_at":"2026-08-09T03:35:01.512526Z","submitted_at":"2025-05-21T16:45:43Z","title":"HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-07T15:17:02.252475Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2505.15740"},"observation_digest":"sha256:03a8ee1d50e35352fd9bf4596720f9a941b98edbb7f0dc23e91d8c85d8990387","observation_id":"e9ee8a99-b80d-4f2a-af41-f961681ac070","resolution":{"observed_at":"2026-08-07T15:17:02.252475Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-07T01:07:24.131560Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.131560Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:770fddbc6ae9f434ce9d591dddb21871e7c958932a84e856d35895c8c5db5c59","observation_id":"6887a8b4-04b5-47a9-a062-aca86ce405a8","resolution":{"observed_at":"2026-08-07T01:07:24.131560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-06T23:13:16.660668Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.19539","last_updated":"2025-06-24T11:49:40Z","snapshot_observed_at":"2026-08-08T07:32:16.541607Z","submitted_at":"2025-06-24T11:49:40Z","title":"Lost in Translation? Converting RegExes for Log Parsing into Dynatrace Pattern Language","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-06T23:13:16.660668Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2506.19539"},"observation_digest":"sha256:042f6485f4c9d6b379f18b4f7bf9406b3b2c1e05be1f28ce447fe5a036f2e3ee","observation_id":"ab482f6d-8153-4652-880d-a91010a64981","resolution":{"observed_at":"2026-08-06T23:13:16.660668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-05T16:20:32.577861Z","title":"Formal specifications from natural language,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-05T16:20:30.274030Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.577861Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:0b9b3443999e29905b34c49ca7de3fbb6e3b39836d77649d62efbf7da04e38d6","observation_id":"9c351f3e-0910-4003-b456-22dad1e9c4e1","resolution":{"observed_at":"2026-08-05T16:20:32.577861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":"2206.01962","doi":"10.48550/arxiv.2206.01962","metadata_source":"arxiv_reference","pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Tillman, Niklas Metzger, Julian Siber, and Bernd Finkbeiner, Formal specifications from natural language","venue":"arXiv (Cornell University)","work_id":"b642ad93-e67f-4430-b13b-f9c2950a198f","year":2022},"citing_paper":{"arxiv_id":"2605.03356","last_updated":"2026-05-05T04:29:38Z","snapshot_observed_at":"2026-08-06T23:24:38.436110Z","submitted_at":"2026-05-05T04:29:38Z","title":"POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference","version":1},"reference_index":126,"source":"arxiv_source","source_observed_at":"2026-05-07T16:04:48.394294Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2605.03356"},"observation_digest":"sha256:2d00c281195370711c78617c7571c0e7c7ed494b8053ce296699534f33404197","observation_id":"39a9bf1c-d4b2-4eba-bf31-310b92139a1b","resolution":{"observed_at":"2026-05-11T23:56:12.272534Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":"2206.01962","doi":"10.48550/arxiv.2206.01962","metadata_source":"arxiv_reference","pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Tillman, Niklas Metzger, Julian Siber, and Bernd Finkbeiner, Formal specifications from natural language","venue":"arXiv (Cornell University)","work_id":"b642ad93-e67f-4430-b13b-f9c2950a198f","year":2022},"citing_paper":{"arxiv_id":"2605.10462","last_updated":"2026-05-11T12:30:53Z","snapshot_observed_at":"2026-07-06T23:22:23.287792Z","submitted_at":"2026-05-11T12:30:53Z","title":"Coherency through formalisations of Structured Natural Language, A case study on FRETish","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-12T04:24:31.513470Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2605.10462"},"observation_digest":"sha256:5e5d9b0ca20828525cc21daddf5b900e997537e1f266f02f093a026fdad4a731","observation_id":"ecb6d69f-2270-42a5-ba38-d0fa776cae41","resolution":{"observed_at":"2026-05-12T06:16:29.246481Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":"2206.01962","doi":"10.48550/arxiv.2206.01962","metadata_source":"arxiv_reference","pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Tillman, Niklas Metzger, Julian Siber, and Bernd Finkbeiner, Formal specifications from natural language","venue":"arXiv (Cornell University)","work_id":"b642ad93-e67f-4430-b13b-f9c2950a198f","year":2022},"citing_paper":{"arxiv_id":"2606.02837","last_updated":"2026-06-01T20:00:35Z","snapshot_observed_at":"2026-08-02T04:05:04.855729Z","submitted_at":"2026-06-01T20:00:35Z","title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-06-28T14:29:43.379840Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2606.02837"},"observation_digest":"sha256:e648724781027cd3b207e79c2917425572e4df1474399ce22d8a33cecb6eeebe","observation_id":"9162386d-f912-4e4c-ae9a-d3fb7ec92d63","resolution":{"observed_at":"2026-06-28T14:32:17.713344Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":"2206.01962","doi":"10.48550/arxiv.2206.01962","metadata_source":"arxiv_reference","pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Tillman, Niklas Metzger, Julian Siber, and Bernd Finkbeiner, Formal specifications from natural language","venue":"arXiv (Cornell University)","work_id":"b642ad93-e67f-4430-b13b-f9c2950a198f","year":2022},"citing_paper":{"arxiv_id":"2606.05792","last_updated":"2026-06-04T07:22:01Z","snapshot_observed_at":"2026-08-03T20:01:26.007510Z","submitted_at":"2026-06-04T07:22:01Z","title":"Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-06-28T02:07:48.232542Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2606.05792"},"observation_digest":"sha256:552c7d9c7a6252dcc44cf47865ac6952b2d6a7dc1f0cd1b935e3aa09bc87f9e6","observation_id":"c368a371-d7c3-4f47-a681-f0eea4c6e94b","resolution":{"observed_at":"2026-07-02T12:26:56.957544Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2206.01962/citation-record","integrity":"/paper/2206.01962/integrity","json":"/paper/2206.01962/citation-record.json","paper":"/paper/2206.01962"},"outbound":[],"paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language"},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2206.01962."}