Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T11:17:56.139148Z
Paper Citation Record · LEDGER
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
As of 9 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2604.14867.
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
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
14 of 14 outbound references displayed
- verified exact9
- verified fuzzy0
- unresolved4
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3816a57a-2ad1-4392-8c15-fb81adee349a · outbound
This paper cites an unresolved cited work.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T14:47:36.847842Z
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 c8bcaee3-3e2e-4691-a629-35c72b8d877d · outbound
This paper cites Astrogator: Towards Formal Verification of LLM-Generated Code.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Astrogator: Towards Formal Verification of LLM-Generated Code
Reference 2
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:20:10.444406Z
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 9a81470e-0998-4fba-8bc0-7bea0e62b194 · outbound
This paper cites an unresolved cited work.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Unresolved cited work
Reference 3
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-10T11:20:09.806427Z
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 e60a92db-c55b-485e-9bd3-6c506f246143 · outbound
This paper cites an unresolved cited work.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T14:47:36.849673Z
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 5887a379-8f1a-47de-b3ce-74007c4c3167 · outbound
This paper cites 2025 , archiveprefix =.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study 2025 , archiveprefix =
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:20:10.449017Z
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 0463ba5b-74d3-4e8e-9dfc-93dfde0b9c2b · outbound
This paper cites Kovalyov and Erwin Pesch.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Kovalyov and Erwin Pesch
Reference 6
- Resolution
- verified exact
- doi, observed 2026-05-10T11:20:09.810494Z
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 6bb29bd7-4726-469d-b1c1-d90941195654 · outbound
This paper cites an unresolved cited work.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Unresolved cited work
Reference 7
- Resolution
- verified exact
- doi, observed 2026-05-10T11:20:09.814034Z
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 e77c6c09-3d33-4557-90f5-5153c535b6d6 · outbound
This paper cites SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
Reference 8
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:20:10.439528Z
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 4758659c-a73c-48ac-b740-7182b71a603d · outbound
This paper cites AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
Reference 9
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:20:10.430661Z
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 25c19d7a-921c-48a0-881c-9407878065e0 · outbound
This paper cites an unresolved cited work.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T14:47:36.846036Z
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 902286b1-e178-4627-b7ea-5fc001e3ff26 · outbound
This paper cites an unresolved cited work.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Unresolved cited work
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:20:10.435000Z
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 f27ecfaf-8598-437a-888c-64f9e7a43327 · outbound
This paper cites an unresolved cited work.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T14:47:36.844120Z
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 cda910aa-a711-4ef7-b270-07a7e8c059cb · outbound
This paper cites RvLLM: LLM Runtime Verification with Domain Knowl- edge.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study RvLLM: LLM Runtime Verification with Domain Knowl- edge
Reference 13
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:20:10.426171Z
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 962554ff-ab0f-4ab1-bb6e-e352d6c99ffc · outbound
This paper cites Can LLM replace stack overflow? a study on robustness and reliability of large language model code generation.
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study Can LLM replace stack overflow? a study on robustness and reliability of large language model code generation
Reference 14
- Resolution
- verified exact
- doi, observed 2026-05-10T11:20:09.817294Z
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.
Pith citing papers
No inbound Pith citation observations are available.