Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2409.12866.
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-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-08T10:14:03.549402Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-04T07:09:38.512920Z
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 a3f46b6b-1fab-4f56-ace9-28c2e94ce56f · inbound
Intention is All You Need: Refining Your Code from Your Intention cites this paper.
Intention is All You Need: Refining Your Code from Your Intention SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T10:14:03.549402Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 524eb251-d533-437c-bcfe-586508f8fd5d · inbound
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification cites this paper.
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Reference 52
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T14:46:41.335934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d97b80b7-3328-4b2d-a570-dea93812a13f · inbound
Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game cites this paper.
Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T15:36:07.338360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3bc89a31-6f60-4117-9a1e-63f44d3e121d · inbound
KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base cites this paper.
KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Reference 14
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T07:09:38.514414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation db047da0-443a-4c04-b877-3eccfa19ecee · inbound
RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models cites this paper.
RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:57:37.624837Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.