{"as_of":"2026-08-15T20:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d453e9b8afc4224dd6610285279774b180c0a72c620e90f557d1defc7c366eb3","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":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":9,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:52:51.842550Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-05T05:35:06.968744Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-12T10:24:29.818922Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.818922Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:735f6357de8ad8a780f98ffdc71d92bf6df1549d726d8d6a3aca840aee1f40d8","observation_id":"a34b6067-8334-4f0e-8432-736af7136e59","resolution":{"observed_at":"2026-08-12T10:24:29.818922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-10T15:19:35.644683Z","title":"A., and Cordeiro, L","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14326","last_updated":"2025-09-04T17:49:22Z","snapshot_observed_at":"2026-08-14T05:28:35.403816Z","submitted_at":"2025-01-24T08:39:50Z","title":"Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T15:19:35.644683Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2501.14326"},"observation_digest":"sha256:f512c45574ae03b3393db7eaeabaf52a45c32d272e1312de68decb12058ab466","observation_id":"2d31316b-9ea2-402c-be03-31ad87329721","resolution":{"observed_at":"2026-08-10T15:19:35.644683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-09T22:24:49.460254Z","title":"A new era in software security: Towards self-healing soft- ware via large language models and formal verification","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.18820","last_updated":"2025-01-31T00:35:55Z","snapshot_observed_at":"2026-08-13T15:15:25.357147Z","submitted_at":"2025-01-31T00:35:55Z","title":"SoK: Towards Effective Automated Vulnerability Repair","version":1},"reference_index":119,"source":"pdf_text","source_observed_at":"2026-08-09T22:24:49.460254Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2501.18820"},"observation_digest":"sha256:d8a0af0cbf45bdf4921ecb11d94dec44229ae03aba847d5a34fa6580170eb5ea","observation_id":"1c95c69f-c07f-428a-b6cb-3752761aaac8","resolution":{"observed_at":"2026-08-09T22:24:49.460254Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-09T04:23:34.212527Z","title":"A new era in software security: Towards self-healing software via large language models and formal verification,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03617","last_updated":"2025-02-05T21:06:30Z","snapshot_observed_at":"2026-08-15T12:25:36.472216Z","submitted_at":"2025-02-05T21:06:30Z","title":"Resource-Efficient & Effective Code Summarization","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T04:23:34.212527Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2502.03617"},"observation_digest":"sha256:93401c3ae0bfcd022a5b54943a828ec6e67e44ddff0eccb5a8531f12ed051c8c","observation_id":"cd923c11-2a54-4014-8787-8467a1ccebc0","resolution":{"observed_at":"2026-08-09T04:23:34.212527Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-07T15:29:09.268041Z","title":"Cordeiro","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15088","last_updated":"2025-05-21T04:14:35Z","snapshot_observed_at":"2026-08-10T08:27:18.497471Z","submitted_at":"2025-05-21T04:14:35Z","title":"Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:29:09.268041Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2505.15088"},"observation_digest":"sha256:b2361ec1defe43517f76db22543be6dee16feb9e37a6c86e20b42e22f20758f8","observation_id":"584c827c-a2c4-4487-bd2f-5ebf92797909","resolution":{"observed_at":"2026-08-07T15:29:09.268041Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-07T01:07:27.256730Z","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-11T00:03:04.741288Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.256730Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:3f4c76e6771b8ab94151c807422ca7206ddb100b4f4e1268bd76363150e1ba5f","observation_id":"01341038-6d0f-4732-9de9-1dfd2ac7673c","resolution":{"observed_at":"2026-08-07T01:07:27.256730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-15T19:52:51.842550Z","title":"Cordeiro","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-15T19:47:44.617104Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.842550Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:540294aa7cd35e9d703f6461479e74aa4da85caa8cf0474ae5779a5e52fb37b7","observation_id":"4ca6c3ee-c3d0-4c5b-ac01-b489d75faae5","resolution":{"observed_at":"2026-08-15T19:52:51.842550Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":"2305.14752","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-05T05:35:06.968744Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","venue":"cs.SE","work_id":"7110f2aa-9d44-40e1-8f0c-96ef624f42f3","year":2023},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.927614Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:d68b22d914294515b638e7768b547a74c9b7ff7c791238ce8fc464938549397f","observation_id":"149e91ff-fc28-4485-88e4-04b43d8e9eff","resolution":{"observed_at":"2026-08-05T05:35:06.972872Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-03T18:41:20.840152Z","title":"arXiv preprint arXiv:2305.14752 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.04259","last_updated":"2026-06-03T13:54:39Z","snapshot_observed_at":"2026-08-14T02:13:23.183559Z","submitted_at":"2025-12-03T20:54:24Z","title":"WildCode Revisited: A Comprehensive Empirical Study on the Security of LLM-Generated Code","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T18:41:20.840152Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2512.04259"},"observation_digest":"sha256:6b302e808c1e80871e9b4f9593c9f8b87a2331b7ec6ed1285158d45b484b65fa","observation_id":"0398e4bb-d8f0-426b-9d48-b71702d89edc","resolution":{"observed_at":"2026-08-03T18:41:20.840152Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2305.14752/citation-record","integrity":"/paper/2305.14752/integrity","json":"/paper/2305.14752/citation-record.json","paper":"/paper/2305.14752"},"outbound":[],"paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification"},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2305.14752."}