{"as_of":"2026-08-10T11:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4ebca88fc6efb67ac21f564feadf0b6bad303e6fbb8783737e799bbc43387630","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":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":10,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T05:32:24.074471Z","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":3,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-09T05:32:24.074471Z","title":"Available: https://arxiv.org/abs/2310.04870","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.18474","last_updated":"2025-02-05T14:27:17Z","snapshot_observed_at":"2026-08-09T05:27:19.931068Z","submitted_at":"2025-02-05T14:27:17Z","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-09T05:32:24.074471Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2502.18474"},"observation_digest":"sha256:b29b3bc4f828176604cd9d3eb1395e0e555cc6de88939a34de4995b359c51305","observation_id":"e430268f-f299-4602-8b29-f2060742701e","resolution":{"observed_at":"2026-08-09T05:32:24.074471Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-07T01:07:27.375510Z","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-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.375510Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:face2772a3cc6d370852e39938fd6ae002153681cafca35bee4e416942d76c2f","observation_id":"360963b7-ecb4-415c-ad48-3de2bc0b0289","resolution":{"observed_at":"2026-08-07T01:07:27.375510Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-03T19:22:03.978396Z","title":"https://doi.org/10.48550/arxiv.2310.04870","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.02080","last_updated":"2026-06-24T10:23:11Z","snapshot_observed_at":"2026-08-07T14:03:09.258284Z","submitted_at":"2025-11-30T22:19:09Z","title":"The 4/$\\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-03T19:22:03.978396Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2512.02080"},"observation_digest":"sha256:5f29fe561f7aa1b602ebc138d04fbf6b14928fe5984dd854c380c567435da1be","observation_id":"ae41f2ec-07dc-47e7-9bed-e62fc3a6af1f","resolution":{"observed_at":"2026-08-03T19:22:03.978396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":"2310.04870","doi":"10.48550/arxiv.2310.04870","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lemur: Integrating large language models in automated program verification,","venue":"arXiv (Cornell University)","work_id":"9bc3cde7-7091-4944-8c7a-60d43cff9de1","year":2023},"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":21,"source":"pdf_text","source_observed_at":"2026-05-15T22:15:21.599523Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2602.13851"},"observation_digest":"sha256:2ac5c567a1b37b483285bf01e1c5a4c495df997b88fd29b857e8b797a91513d9","observation_id":"9dbe33a0-2b81-4c16-bc25-02c0d60cc16a","resolution":{"observed_at":"2026-05-15T22:16:42.644691Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":"2310.04870","doi":"10.48550/arxiv.2310.04870","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lemur: Integrating large language models in automated program verification,","venue":"arXiv (Cornell University)","work_id":"9bc3cde7-7091-4944-8c7a-60d43cff9de1","year":2023},"citing_paper":{"arxiv_id":"2605.17475","last_updated":"2026-05-17T14:23:45Z","snapshot_observed_at":"2026-08-09T21:50:42.882498Z","submitted_at":"2026-05-17T14:23:45Z","title":"Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-19T22:51:50.268490Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2605.17475"},"observation_digest":"sha256:7804699d2813e1685efc635e1d866be373af41d9de8d6e187afba92c0f01cf46","observation_id":"e73413bb-7bcd-4f72-be7f-b2dee049e259","resolution":{"observed_at":"2026-05-19T22:52:49.947064Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":"2310.04870","doi":"10.48550/arxiv.2310.04870","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lemur: Integrating large language models in automated program verification,","venue":"arXiv (Cornell University)","work_id":"9bc3cde7-7091-4944-8c7a-60d43cff9de1","year":2023},"citing_paper":{"arxiv_id":"2605.28602","last_updated":"2026-05-27T15:18:45Z","snapshot_observed_at":"2026-07-06T23:38:09.179597Z","submitted_at":"2026-05-27T15:18:45Z","title":"Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-29T11:50:10.442661Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2605.28602"},"observation_digest":"sha256:8e5763c35da68879d21a3e873d9b7f6535dd1c6a984bc0919bc904d19606cfe2","observation_id":"da229078-3f94-4624-9cd0-32805a24fa0b","resolution":{"observed_at":"2026-06-29T11:53:23.744048Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":"2310.04870","doi":"10.48550/arxiv.2310.04870","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lemur: Integrating large language models in automated program verification,","venue":"arXiv (Cornell University)","work_id":"9bc3cde7-7091-4944-8c7a-60d43cff9de1","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:527463559103981bd97eafd0b567997904936c01dfa5b15274fe3e68c0387012","observation_id":"f4316b6d-2b35-4fac-a4ce-920af64c6e94","resolution":{"observed_at":"2026-07-03T08:47:49.695700Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Lemur: Integratinglargelanguagemodelsinautomated program verification, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-10T03:44:41.604165Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:5bb71e014e1e7c2cfd2d07739797c963f94bcbc66cf6afaaaadb18d29c3d4ba1","observation_id":"69059d6e-8f4e-4388-84be-119fac560350","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-01T04:51:20.187024Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.187024Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:b6a48f2a2ebb3d31bc68d3f37543504a76ac01e01601c802e9bda83f2a994b3a","observation_id":"e78f1aec-8bd8-41e1-92c5-7f7ddd8ca22a","resolution":{"observed_at":"2026-08-01T04:51:20.187024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-06T00:43:17.514769Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.514769Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:8618540884b33fc0e761987f5a8efc994b965682ecdef33eca7869b13f203680","observation_id":"977400cb-5171-4805-a059-6d16c5ca1e84","resolution":{"observed_at":"2026-08-06T00:43:17.514769Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2310.04870/citation-record","integrity":"/paper/2310.04870/integrity","json":"/paper/2310.04870/citation-record.json","paper":"/paper/2310.04870"},"outbound":[],"paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","latest_version":5,"primary_category":"cs.FL","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program 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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 10 inbound Pith citation observations for arXiv:2310.04870."}