Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-01T06:32:01.292127+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-23T07:04:09.614807Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-10T06:15:00.866473Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 5821581f-e1fd-440f-8a90-564036d576f7 · inbound
Retrieval-Augmented Generation for AI-Generated Content: A Survey cites this paper.
Retrieval-Augmented Generation for AI-Generated Content: A Survey E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Reference 257
- Resolution
- verified exact
- arxiv_id, observed 2026-05-15T13:32:17.552272Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation b23fe555-b40b-4830-8d02-043c81ccc56e · inbound
Large Language Model-Based Agents for Software Engineering: A Survey cites this paper.
Large Language Model-Based Agents for Software Engineering: A Survey E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Reference 139
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T12:35:48.430386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation e43c4916-1d2f-4978-90d5-cc10564f1edb · inbound
NESA: Relational Neuro-Symbolic Static Program Analysis cites this paper.
NESA: Relational Neuro-Symbolic Static Program Analysis E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Reference 27
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.843658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 2bd95936-c442-4228-8673-6e0582259a2c · inbound
Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation cites this paper.
Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Reference 31
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T10:44:38.030349Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 8a71bbc2-30ca-4ff0-b15d-4fa0de2952e1 · inbound
Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis cites this paper.
Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Reference 17
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-14T20:12:54.416093Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.