{"as_of":"2026-08-20T23:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1ad59a71b693d6a6a2049920ef7476c14bd399cf0bff2d1eca895ab0db505c32","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":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":22,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T05:28:31.898651Z","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-18T13:28:07.011952Z","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-12T13:49:45.744071Z","title":"Available: https://arxiv.org/abs/2401.08807","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.15898","last_updated":"2024-11-24T16:14:32Z","snapshot_observed_at":"2026-08-18T12:50:14.672255Z","submitted_at":"2024-11-24T16:14:32Z","title":"Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-12T13:49:45.744071Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2411.15898"},"observation_digest":"sha256:b0008b178e424318c198d0b535d2779c92f0b54051707d71d25012361f2ad1fa","observation_id":"f26a791f-b3ed-4ccc-8a85-78930187f384","resolution":{"observed_at":"2026-08-12T13:49:45.744071Z","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-18T13:28:07.011952Z","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-11T12:10:14.026906Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14554","last_updated":"2024-12-27T10:17:12Z","snapshot_observed_at":"2026-08-12T22:10:28.716468Z","submitted_at":"2024-12-19T06:10:40Z","title":"The Current Challenges of Software Engineering in the Era of Large Language Models","version":2},"reference_index":108,"source":"pdf_text","source_observed_at":"2026-08-11T12:10:14.026906Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2412.14554"},"observation_digest":"sha256:246a70efadeeb7e9cf2b30e0e1f1a418eaa5c56a2b446ada910296c69418faf8","observation_id":"f98eb2a8-c486-4f0d-9ac0-16fe3937b27b","resolution":{"observed_at":"2026-08-11T12:10:14.026906Z","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-18T13:28:07.011952Z","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-16T03:12:13.036558Z","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:3cb0e5945c30c5facec685186ba38766adc7a15cfe90770b945ca6bad06c9da0","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-18T13:28:07.011952Z","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-18T02:29:20.180318Z","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:12cbe23dcb6f7a2373b85a41e2be01efc89f82bf69d75e3a3aa081c381ee3547","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-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":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","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-16T05:28:31.898651Z","title":"arXiv preprint arXiv:2401.08807 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-08-20T22:29:05.931839Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T05:28:31.898651Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2504.21061"},"observation_digest":"sha256:df3682a2173d6e8fae85c7362c0d21118b29874cbf7e50f507597d5f9becce8e","observation_id":"533351e7-9227-49ae-bd5d-71421e401cf5","resolution":{"observed_at":"2026-08-16T05:28:31.898651Z","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-18T13:28:07.011952Z","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-20T20:27:07.138898Z","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:f9dd45940110fb6c25550c2af9da6ff73175026d88a433099bc978849c0896c6","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-18T13:28:07.011952Z","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-18T01:00:13.964175Z","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:c969479038ba225b665b4bea046dbb26b279452f406d5617d09871f140c9a5aa","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-18T13:28:07.011952Z","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-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":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:77980acdebbeab6616b5c4f2331ada451770866f18df4595486638f5de51eedf","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-18T13:28:07.011952Z","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-15T19:52:51.754532Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-19T18:36:29.888915Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.754532Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:239c30811903019f37d4c27e3d50e4417da1e41129e13d13b5bfe25331e8e019","observation_id":"0ab178d2-00e1-4913-a298-edc33ef6acc2","resolution":{"observed_at":"2026-08-15T19:52:51.754532Z","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-18T13:28:07.011952Z","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-20T17:42:05.328258Z","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:1ec488b6244725febfdff6b442cf7653992359b2a1d46714f0e11587e6beb890","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-18T13:28:07.011952Z","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-20T04:53:25.148226Z","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:0a63da51c00df97f1ca58edce96ff9bc30f2f02c87624039fbb164ce468246aa","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-18T13:28:07.011952Z","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-15T10:27:17.114649Z","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:1b0b75c69ac5d760d13f1af19eb26434343320f77ca3994663c4251569e60a0c","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-18T13:28:07.011952Z","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-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":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:3d25dbd1ab1ead85e9e4e661c4d34bfcb85ac3c9b499c4f7876d8a3ce46aa93b","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-18T13:28:07.011952Z","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-15T10:00:52.041337Z","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:3895861bcc72c969ba917c23b2478b6eef6cd9102d2ca43052ec5be8b2ebea27","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-18T13:28:07.011952Z","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-20T04:53:27.591297Z","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:95be248262d3ad40814978b78d3552fc32e0a1ab8fe173fc16ee9d89145be754","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-18T13:28:07.011952Z","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-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":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:0c2429c52d078b0e0a008b7b851443bac00642e842cc0bb01607d482c1bbff0d","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-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":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","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-16T04:11:25.764015Z","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:2845c3ed55697d23102028676ffbf286e6c12e00218e4269bf66d5cf8f205484","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-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":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","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-19T02:40:49.209869Z","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:f70bf1aea0ed39ebf1928119ab3761af15fd6ac804b7c3d9d485a369f46b2715","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-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":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","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-14T14:26:17.875796Z","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:cd1e9f384c2a1968e47d28f7789786856fea9da1b46d6abb983640820ae3ff97","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-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":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","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-18T01:39:44.494613Z","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:ac6da7c2b2ca1e106556b8d6a6627679e637bdfd5b59b01c1721e09c4199f28b","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-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":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","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:144ddedce993108ea5d46f8d9284dc9c22d4b00b6465c0eb76012626a51e6f3f","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-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":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","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-19T17:14:14.124608Z","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:6122564b52017df38dfccbcacb0e2ab8e40decabfb4b36454ea1bec3de0e5302","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-18T13:28:07.011952Z","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-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 22 inbound Pith citation observations for arXiv:2401.08807."}