{"as_of":"2026-08-09T10:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7b93f1950566902aab76b26adc20d2b91d22bb596bb30715c0c472461e3a28b3","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-09T06:31:02.800959+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-07T17:56:29.935571Z","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-06T14:43:53.674757Z","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:f5a8bf1af00be9bc96c1925619d71a5be419b54ea6d731a25c82458b3eb8b3cc","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-07T17:56:29.935571Z","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-07-31T07:00:51.587326Z","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:fd4be4bccacf8c7d569059a6cbbe1c3ae1d253418bd5fe610e3b9313a60b0618","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-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":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-07T17:56:29.935571Z","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-07-13T12:22:36.131151Z","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:4194dac960a4e5fb278e257cb1bf152cb3f4f3ddc95ffa043db16ec376240043","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-07T17:56:29.935571Z","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-07-06T23:23:39.723268Z","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:4223a85e72440cc5430551accc679e8071ad2356f2a9606175a5b93822f15cd1","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-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":"2503.04779","last_updated":"2025-05-29T06:07:32Z","snapshot_observed_at":"2026-08-07T17:56:29.935571Z","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-01T20:24:04.582676Z","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:46f29cd0ef8fa548a00523577fdd6737736dd593834e5893b91a7027765f71f2","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-07T17:56:29.935571Z","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-06T23:37:51.377753Z","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:7d696f59e4a38fce75cb1e9c43839702946af4136c49d91ea476a1fecda47c91","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-07T17:56:29.935571Z","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-07T23:12:08.583315Z","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:957f88a467ce54be0b7c5a100d237d39cbc2e539859f16c8a58a821507f75d35","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-07T17:56:29.935571Z","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-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 7 inbound Pith citation observations for arXiv:2503.04779."}