{"as_of":"2026-08-20T08:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:86bba0694c91d394be0819ee6baded708d0039728001079d3917409a8d369995","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-06T14:50:27.926856Z","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-16T21:28:34.155189Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-08-06T14:50:27.926856Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.17548","last_updated":"2025-07-23T14:26:58Z","snapshot_observed_at":"2026-08-15T16:35:32.231406Z","submitted_at":"2025-07-23T14:26:58Z","title":"CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T14:50:27.926856Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2507.17548"},"observation_digest":"sha256:e2e14b5f4c594c176cd4ac45e90555ddc9b9f97bac13869a746c2eee503286b9","observation_id":"69f30918-cc09-4b6e-9991-b73a8579d6c0","resolution":{"observed_at":"2026-08-06T14:50:27.926856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":"2503.04779","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2503.04779 , year=","venue":null,"work_id":"c3d9f060-59f0-4561-ae95-ec04cfdfd95a","year":2025},"citing_paper":{"arxiv_id":"2512.14917","last_updated":"2026-04-23T22:42:11Z","snapshot_observed_at":"2026-08-14T18:38:40.452738Z","submitted_at":"2025-12-16T21:12:53Z","title":"Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-16T21:23:44.762007Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2512.14917"},"observation_digest":"sha256:67bfbb238f9074754a65121b5514f68dce1b164f261c5eb25dbf567982cc9948","observation_id":"baa7d803-36cb-4655-b069-b728470de6ad","resolution":{"observed_at":"2026-05-16T21:28:34.157279Z","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":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-07-13T12:22:36.910102Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2604.03758","last_updated":"2026-04-04T15:17:08Z","snapshot_observed_at":"2026-08-16T12:42:29.621731Z","submitted_at":"2026-04-04T15:17:08Z","title":"AutoReSpec: A Framework for Generating Specification using Large Language Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T12:22:36.910102Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2604.03758"},"observation_digest":"sha256:eb6a982ba2119aee0dbe343853614380f4c70586f6e2f6b1fe7d739517aaee03","observation_id":"a2338d04-9ad6-4275-8310-deecdcac0615","resolution":{"observed_at":"2026-07-13T12:22:36.910102Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":"2503.04779","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2503.04779 , year=","venue":null,"work_id":"c3d9f060-59f0-4561-ae95-ec04cfdfd95a","year":2025},"citing_paper":{"arxiv_id":"2605.11922","last_updated":"2026-05-12T10:36:56Z","snapshot_observed_at":"2026-08-17T16:51:37.786974Z","submitted_at":"2026-05-12T10:36:56Z","title":"StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-05-13T05:27:37.521421Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2605.11922"},"observation_digest":"sha256:51ace41ca4bdc08797ac5b165bf0581fb33bc2ca0f96365bdfae1075ed21e6de","observation_id":"57e09bb1-dcab-4816-b1b1-c1ddb4c389eb","resolution":{"observed_at":"2026-05-13T05:32:20.335805Z","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":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-07-14T14:44:06.395802Z","title":"doi:10.48550/arXiv.2503.04779 , urldate =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09900","last_updated":"2026-07-10T18:44:51Z","snapshot_observed_at":"2026-08-14T21:20:28.764812Z","submitted_at":"2026-07-10T18:44:51Z","title":"AfterVibe: What Remains When the Conversation Ends","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-07-14T14:44:06.395802Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2607.09900"},"observation_digest":"sha256:b43b44cb3fc5d0f99e87297e9cb713490c836bae0656a74e06643c39ed1288d6","observation_id":"e369fe39-8967-459b-9c77-7f1581994318","resolution":{"observed_at":"2026-07-14T14:44:06.395802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-07-30T22:39:33.926067Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23425","last_updated":"2026-07-26T02:49:56Z","snapshot_observed_at":"2026-08-11T20:27:29.196092Z","submitted_at":"2026-07-26T02:49:56Z","title":"TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-30T22:39:33.926067Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2607.23425"},"observation_digest":"sha256:9956271461b933d4481ca32065173871baf2832c1363dcf6f0a051bf2ea43e8a","observation_id":"7c0a8150-87f6-4687-bb49-766d6c50d18b","resolution":{"observed_at":"2026-07-30T22:39:33.926067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.04779","snapshot_observed_at":"2026-08-05T16:34:40.020215Z","title":"arXiv preprint arXiv:2503.04779 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-20T01:16:58.326992Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:40.020215Z"},"links":{"cited_paper":"/paper/2503.04779","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:4d4563aa25c0f51407250524af0326a5ff8a96a2e52f5ee89a7a78b92d131a94","observation_id":"69008018-8a29-48f4-bfd3-e4c8ad06ad34","resolution":{"observed_at":"2026-08-05T16:34:40.020215Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2503.04779/citation-record","integrity":"/paper/2503.04779/integrity","json":"/paper/2503.04779/citation-record.json","paper":"/paper/2503.04779"},"outbound":[],"paper":{"arxiv_id":"2503.04779","last_updated":"2025-05-29T06:07:32Z","latest_version":4,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T12:56:06.896880Z","submitted_at":"2025-02-22T13:27:31Z","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference"},"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:2503.04779."}