{"as_of":"2026-08-08T20:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9257fbc09cb25ddf69e7ba8b66d9dc75f15f0d78c6e0d0a873718dd836a0afbb","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":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":18,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T10:14:03.538491Z","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":6,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-08T10:14:03.538491Z","title":"Specgen: Automated generation of formal program specifications via large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.08172","last_updated":"2025-02-12T07:26:13Z","snapshot_observed_at":"2026-08-08T10:08:18.219989Z","submitted_at":"2025-02-12T07:26:13Z","title":"Intention is All You Need: Refining Your Code from Your Intention","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-08T10:14:03.538491Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2502.08172"},"observation_digest":"sha256:cbb97c58acc710e370b973217b348a34dbf17d8a5a62e1e0abb48c1359d2b207","observation_id":"78b45f3d-e98f-406a-b037-c0c35a57686c","resolution":{"observed_at":"2026-08-08T10:14:03.538491Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":"2401.08807","doi":"10.48550/arxiv.2401.08807","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR abs/2401.08807(2024)","venue":"arXiv (Cornell University)","work_id":"6ab46b9c-6160-4351-8408-0111faacad75","year":2024},"citing_paper":{"arxiv_id":"2502.18917","last_updated":"2025-06-10T22:11:53Z","snapshot_observed_at":"2026-08-03T02:17:55.804921Z","submitted_at":"2025-02-26T08:10:57Z","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-23T02:42:59.190220Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2502.18917"},"observation_digest":"sha256:e4e5e6726e20d9eb1d7aa68e3f9d1a3d060e780851f0dbc8cd44b98085bc74b2","observation_id":"4e6c5447-1c14-4a84-92aa-2ba26a2b1234","resolution":{"observed_at":"2026-05-23T02:45:19.247144Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-07T12:49:12.867325Z","title":"Specgen: Automated generation of for- mal program specifications via large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.23486","last_updated":"2025-07-03T06:03:07Z","snapshot_observed_at":"2026-08-07T12:42:44.667182Z","submitted_at":"2025-05-29T14:34:54Z","title":"Autoformalization in the Era of Large Language Models: A Survey","version":2},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-07T12:49:12.867325Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2505.23486"},"observation_digest":"sha256:18db8abb76c8ae9319aface27e261d079109f694eebf153c8c7337c2a068571c","observation_id":"8f323fdf-9661-437e-ab4a-ce12d2f00c7e","resolution":{"observed_at":"2026-08-07T12:49:12.867325Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-07T04:22:32.624317Z","title":"Specgen: Automated generation of formal program specifications via large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.624317Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:8e79c2b15cb985c252bc3197dafdb891029d6fd7dc876ae49da682e8ba00b7b8","observation_id":"416b6292-8448-485d-8969-f3a852f37890","resolution":{"observed_at":"2026-08-07T04:22:32.624317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-07T01:07:25.212929Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-07T00:59:41.634916Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.212929Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:6eb0c1f1b593bac2242b5449f84a09671a067390f2e0a3cc10979509ce2fb784","observation_id":"bae98f85-7c8a-42b5-81ef-b6e841694229","resolution":{"observed_at":"2026-08-07T01:07:25.212929Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-06T19:42:49.437633Z","title":"Specgen: Automated generation of formal program specifications via large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04857","last_updated":"2025-07-07T10:30:05Z","snapshot_observed_at":"2026-08-06T19:35:28.674214Z","submitted_at":"2025-07-07T10:30:05Z","title":"Supporting Software Formal Verification with Large Language Models: An Experimental Study","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T19:42:49.437633Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2507.04857"},"observation_digest":"sha256:f9f1dd3a775d7d841b57ba07606de8b30493e937fff446e8df503dd258ab1763","observation_id":"84ff5209-96a8-4d4d-b97f-d6d42c453777","resolution":{"observed_at":"2026-08-06T19:42:49.437633Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-06T19:09:20.153323Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.06452","last_updated":"2025-07-08T23:31:58Z","snapshot_observed_at":"2026-08-06T19:01:38.821424Z","submitted_at":"2025-07-08T23:31:58Z","title":"gigiProfiler: Diagnosing Performance Issues by Uncovering Application Resource Bottlenecks","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T19:09:20.153323Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2507.06452"},"observation_digest":"sha256:8f0fbb78ce37e298abb2b39d5705b6fba5f552a8d682b8100e616fde1a014091","observation_id":"ce535804-7d3a-4e8a-812f-79c250380047","resolution":{"observed_at":"2026-08-06T19:09:20.153323Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-06T17:41:42.939165Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-07T14:26:53.972782Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.939165Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:230563b06056a781132657dcce2f981bac7671c2c5901d83786ef723a05b5da6","observation_id":"5c09277e-9aaf-4d8c-bf0a-b0e5ada24457","resolution":{"observed_at":"2026-08-06T17:41:42.939165Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-06T16:13:49.810215Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.810215Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:5d848d4f270804b0f52f592ac3a81d188ae607ef9b0ae093079cbe7fa060736d","observation_id":"7325159b-b8be-4146-b94c-dff428c0029d","resolution":{"observed_at":"2026-08-06T16:13:49.810215Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T16:20:32.618301Z","title":"Specgen: Automated generation of formal program specifications via large language models,","venue":null,"work_id":null,"year":2024},"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":31,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.618301Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:fc0e6ff86c4fce06d970afbd2b1c4489c129048f4b1bb5ad13e13973999075bc","observation_id":"a5e5e872-8d30-49eb-871c-82d678efc226","resolution":{"observed_at":"2026-08-05T16:20:32.618301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-03T10:30:40.508028Z","title":"et al.: SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.09822","last_updated":"2026-01-19T19:10:53Z","snapshot_observed_at":"2026-08-07T09:19:36.604857Z","submitted_at":"2026-01-14T19:28:30Z","title":"LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities","version":2},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-03T10:30:40.508028Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2601.09822"},"observation_digest":"sha256:803d29e3936b76a6868bcd66ef54057c2d3319e3ce2ce68abc5b39839a40f1d2","observation_id":"10460ded-791c-44f6-b510-b1941270b06e","resolution":{"observed_at":"2026-08-03T10:30:40.508028Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":"2401.08807","doi":"10.48550/arxiv.2401.08807","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR abs/2401.08807(2024)","venue":"arXiv (Cornell University)","work_id":"6ab46b9c-6160-4351-8408-0111faacad75","year":2024},"citing_paper":{"arxiv_id":"2602.13851","last_updated":"2026-04-14T17:18:00Z","snapshot_observed_at":"2026-07-06T22:45:53.926021Z","submitted_at":"2026-02-14T19:18:34Z","title":"Evaluating LLM-Generated ACSL Annotations for Formal Verification","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-15T22:15:21.599523Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2602.13851"},"observation_digest":"sha256:ed2a27ae59cc18684ae147ac985131f97c76008c9a97c11ec659ecdfa3da4277","observation_id":"0e934fb5-ec31-484a-af7e-bc4d339fecff","resolution":{"observed_at":"2026-05-15T22:16:42.652038Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":"2401.08807","doi":"10.48550/arxiv.2401.08807","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR abs/2401.08807(2024)","venue":"arXiv (Cornell University)","work_id":"6ab46b9c-6160-4351-8408-0111faacad75","year":2024},"citing_paper":{"arxiv_id":"2604.21570","last_updated":"2026-04-23T11:46:19Z","snapshot_observed_at":"2026-08-02T20:33:52.654025Z","submitted_at":"2026-04-23T11:46:19Z","title":"SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-09T21:05:59.438175Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2604.21570"},"observation_digest":"sha256:3ad80b22610017c16eafbd535bce15ee02ea2ba381bfd89a313e435bbf4d2b29","observation_id":"3125ed2a-e4e1-400d-b489-f6d333829ed2","resolution":{"observed_at":"2026-05-11T14:46:40.715657Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":"2401.08807","doi":"10.48550/arxiv.2401.08807","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR abs/2401.08807(2024)","venue":"arXiv (Cornell University)","work_id":"6ab46b9c-6160-4351-8408-0111faacad75","year":2024},"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":14,"source":"arxiv_source","source_observed_at":"2026-05-07T16:04:48.394294Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2605.03356"},"observation_digest":"sha256:c852190ce90be02b8c649084421a862656e07aef36f7f667eed64d7425fa7764","observation_id":"15c33f15-6ddd-4aeb-bf3f-6a56e37b04df","resolution":{"observed_at":"2026-05-11T23:56:12.242410Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":"2401.08807","doi":"10.48550/arxiv.2401.08807","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR abs/2401.08807(2024)","venue":"arXiv (Cornell University)","work_id":"6ab46b9c-6160-4351-8408-0111faacad75","year":2024},"citing_paper":{"arxiv_id":"2605.23931","last_updated":"2026-04-22T19:29:16Z","snapshot_observed_at":"2026-08-04T01:53:41.615824Z","submitted_at":"2026-04-22T19:29:16Z","title":"BODHI: Precise OS Kernel Specification Inference","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-05T02:06:43.318079Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2605.23931"},"observation_digest":"sha256:12cc021d75c7230c8e0171d13142f944ea7498c7aada8057af945cc0c48c429a","observation_id":"41043477-9045-4667-ba3b-df7078586f83","resolution":{"observed_at":"2026-07-05T02:10:36.456501Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":"2401.08807","doi":"10.48550/arxiv.2401.08807","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR abs/2401.08807(2024)","venue":"arXiv (Cornell University)","work_id":"6ab46b9c-6160-4351-8408-0111faacad75","year":2024},"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":26,"source":"arxiv_source","source_observed_at":"2026-06-28T02:07:48.232542Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2606.05792"},"observation_digest":"sha256:7ead88807d26b3f62a4ecc917bc16fb13cb0fb581f650e59dddf13bf22513020","observation_id":"aa9b5347-b8bd-45b4-b8e2-8bb79d30614a","resolution":{"observed_at":"2026-07-02T12:26:56.962532Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":"2401.08807","doi":"10.48550/arxiv.2401.08807","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR abs/2401.08807(2024)","venue":"arXiv (Cornell University)","work_id":"6ab46b9c-6160-4351-8408-0111faacad75","year":2024},"citing_paper":{"arxiv_id":"2606.17637","last_updated":"2026-06-16T07:46:51Z","snapshot_observed_at":"2026-08-04T04:29:46.048474Z","submitted_at":"2026-06-16T07:46:51Z","title":"Brick-DICL: Dynamic In-Context Learning for Automated Brick Schema Classification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T01:18:51.949702Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2606.17637"},"observation_digest":"sha256:90bb8f2f2a574f0880b2d670239ac206ad967c2f1df892075ba60ad04919dce7","observation_id":"96d1d640-0819-4895-b49b-5b6ceeb7b5e1","resolution":{"observed_at":"2026-07-03T20:28:55.722301Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-01T02:26:35.595043Z","title":"Mugnier,E.;Gonzalez,E.A.;Polikarpova,N.;Jhala,R.;and Yuanyuan, Z","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27733","last_updated":"2026-07-30T06:15:29Z","snapshot_observed_at":"2026-08-05T06:58:19.349610Z","submitted_at":"2026-07-30T06:15:29Z","title":"VeriSkill: A Self-Evolution Framework for Program Verification Skills","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T02:26:35.595043Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2607.27733"},"observation_digest":"sha256:f82440f3d70fdeaba6e41c77ce8b2cb207e007f5693b33b81bf9dd444171ed7a","observation_id":"a2a9d09f-4f5e-4249-8647-e2800ac4cc22","resolution":{"observed_at":"2026-08-01T02:26:35.595043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2401.08807/citation-record","integrity":"/paper/2401.08807/integrity","json":"/paper/2401.08807/citation-record.json","paper":"/paper/2401.08807"},"outbound":[],"paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","latest_version":5,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T23:05:06.668783Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via 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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 18 inbound Pith citation observations for arXiv:2401.08807."}