{"as_of":"2026-08-01T12:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:83a8dbe6ec5c20aafa3d59868c0451fd7d3c6782d509a1846967ee7f85a2c9b3","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":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-01T06:32:01.292127+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-23T07:04:09.614807Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-10T06:15:00.866473Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2312.08477","last_updated":"2023-12-13T19:31:00Z","snapshot_observed_at":"2026-07-06T17:01:18.018700Z","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification","version":1},"cited_work":{"arxiv_id":"2312.08477","doi":"10.48550/arxiv.2312.08477","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.08477","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"E&v: Prompting large language models to perform static analysis by pseudo-code execution and verification","venue":null,"work_id":"b53b2d15-89fe-487b-9ffd-322136e5cce7","year":2023},"citing_paper":{"arxiv_id":"2402.19473","last_updated":"2024-06-21T08:26:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-29T18:59:01Z","title":"Retrieval-Augmented Generation for AI-Generated Content: A Survey","version":6},"reference_index":257,"source":"pdf_text","source_observed_at":"2026-05-15T13:32:17.177021Z"},"links":{"cited_paper":"/paper/2312.08477","citing_paper":"/paper/2402.19473"},"observation_digest":"sha256:ae3211e7f71ab4241d5bfff25f8928319bc428e58bee73b27b4238739cc1dc45","observation_id":"5821581f-e1fd-440f-8a90-564036d576f7","resolution":{"observed_at":"2026-05-15T13:32:17.552272Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.08477","last_updated":"2023-12-13T19:31:00Z","snapshot_observed_at":"2026-07-06T17:01:18.018700Z","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification","version":1},"cited_work":{"arxiv_id":"2312.08477","doi":"10.48550/arxiv.2312.08477","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.08477","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"E&v: Prompting large language models to perform static analysis by pseudo-code execution and verification","venue":null,"work_id":"b53b2d15-89fe-487b-9ffd-322136e5cce7","year":2023},"citing_paper":{"arxiv_id":"2409.02977","last_updated":"2025-12-03T03:33:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-04T15:59:41Z","title":"Large Language Model-Based Agents for Software Engineering: A Survey","version":2},"reference_index":139,"source":"pdf_text","source_observed_at":"2026-05-17T12:35:48.170947Z"},"links":{"cited_paper":"/paper/2312.08477","citing_paper":"/paper/2409.02977"},"observation_digest":"sha256:b8eb7e685cb93fe5b5e8d0a49a6dabb719910f90de94bcf9ef71722c2b8fe0af","observation_id":"b23fe555-b40b-4830-8d02-043c81ccc56e","resolution":{"observed_at":"2026-05-17T12:35:48.430386Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.08477","last_updated":"2023-12-13T19:31:00Z","snapshot_observed_at":"2026-07-06T17:01:18.018700Z","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification","version":1},"cited_work":{"arxiv_id":"2312.08477","doi":"10.48550/arxiv.2312.08477","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.08477","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"E&v: Prompting large language models to perform static analysis by pseudo-code execution and verification","venue":null,"work_id":"b53b2d15-89fe-487b-9ffd-322136e5cce7","year":2023},"citing_paper":{"arxiv_id":"2412.14399","last_updated":"2026-04-13T03:46:05Z","snapshot_observed_at":"2026-07-06T20:09:37.890377Z","submitted_at":"2024-12-18T23:14:59Z","title":"NESA: Relational Neuro-Symbolic Static Program Analysis","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-23T07:04:09.614807Z"},"links":{"cited_paper":"/paper/2312.08477","citing_paper":"/paper/2412.14399"},"observation_digest":"sha256:58ed5a462931d8ecf55d1ceefe30ebf86f339523889d9686239f06243ae27687","observation_id":"e43c4916-1d2f-4978-90d5-cc10564f1edb","resolution":{"observed_at":"2026-05-23T07:05:28.843658Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.08477","last_updated":"2023-12-13T19:31:00Z","snapshot_observed_at":"2026-07-06T17:01:18.018700Z","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification","version":1},"cited_work":{"arxiv_id":"2312.08477","doi":"10.48550/arxiv.2312.08477","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.08477","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"E&v: Prompting large language models to perform static analysis by pseudo-code execution and verification","venue":null,"work_id":"b53b2d15-89fe-487b-9ffd-322136e5cce7","year":2023},"citing_paper":{"arxiv_id":"2604.15270","last_updated":"2026-04-16T17:41:49Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:41:49Z","title":"Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-10T10:40:30.734804Z"},"links":{"cited_paper":"/paper/2312.08477","citing_paper":"/paper/2604.15270"},"observation_digest":"sha256:d9163cdd973ee5888fc0d5fd8ec330df545d0233b22bd9f411774e04a98a6c71","observation_id":"2bd95936-c442-4228-8673-6e0582259a2c","resolution":{"observed_at":"2026-05-10T10:44:38.030349Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.08477","last_updated":"2023-12-13T19:31:00Z","snapshot_observed_at":"2026-07-06T17:01:18.018700Z","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification","version":1},"cited_work":{"arxiv_id":"2312.08477","doi":"10.48550/arxiv.2312.08477","metadata_source":"arxiv_reference","pith_arxiv_id":"2312.08477","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"E&v: Prompting large language models to perform static analysis by pseudo-code execution and verification","venue":null,"work_id":"b53b2d15-89fe-487b-9ffd-322136e5cce7","year":2023},"citing_paper":{"arxiv_id":"2605.12694","last_updated":"2026-05-12T19:46:24Z","snapshot_observed_at":"2026-07-06T23:24:23.402304Z","submitted_at":"2026-05-12T19:46:24Z","title":"Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-14T20:11:23.364556Z"},"links":{"cited_paper":"/paper/2312.08477","citing_paper":"/paper/2605.12694"},"observation_digest":"sha256:f35bac4d4fe651d8b2fdd5a655a35e3699449bcb6f8bc9ef5c10ae472027e15b","observation_id":"8a71bbc2-30ca-4ff0-b15d-4fa0de2952e1","resolution":{"observed_at":"2026-05-14T20:12:54.416093Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2312.08477/citation-record","integrity":"/paper/2312.08477/integrity","json":"/paper/2312.08477/citation-record.json","paper":"/paper/2312.08477"},"outbound":[],"paper":{"arxiv_id":"2312.08477","last_updated":"2023-12-13T19:31:00Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T17:01:18.018700Z","submitted_at":"2023-12-13T19:31:00Z","title":"E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and 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-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"thesis":"As of 1 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2312.08477."}