{"as_of":"2026-08-10T16:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0a1dc4d236ed0895e5898ab1ef6f1684ca974112fec1107ccbcda91b81b93a75","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T11:17:56.139148Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2604.14867/citation-record","integrity":"/paper/2604.14867/integrity","json":"/paper/2604.14867/citation-record.json","paper":"/paper/2604.14867"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c4be0551-1f10-425e-977a-e7ffcc42d07f","year":2013},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:29d0da364d7d4539526bec8d6cd5c8d76957d7619e12402e197cfd1d955ec93f","observation_id":"3816a57a-2ad1-4392-8c15-fb81adee349a","resolution":{"observed_at":"2026-05-19T14:47:36.847842Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.13290","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:47:49.706560Z","title":"Astrogator: Towards Formal Verification of LLM-Generated Code","venue":null,"work_id":"4debf81c-3c0a-4117-90cd-99c238e49c24","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:77a8e4766f4df90acbe071999737e6683e95d7bba48fb054b7cfe3f6ad2a60ff","observation_id":"c8bcaee3-3e2e-4691-a629-35c72b8d877d","resolution":{"observed_at":"2026-05-10T11:20:10.444406Z","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T18:46:26.467910Z","title":null,"venue":null,"work_id":"77f1ac49-ab35-45c8-a672-545dbb1e6932","year":2023},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:c6ccda9b6ad4c5787528012e663d58cd0b3df009e7622aac101e8bf647b7e87e","observation_id":"9a81470e-0998-4fba-8bc0-7bea0e62b194","resolution":{"observed_at":"2026-05-10T11:20:09.806427Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1e6d49e0-9dd8-4d9e-92d9-fae9234642ff","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:831c319ca93613994875909c60b4a22d6080c0c744b48eb813694f1db91de6ac","observation_id":"e60a92db-c55b-485e-9bd3-6c506f246143","resolution":{"observed_at":"2026-05-19T14:47:36.849673Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.12399","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T09:56:10.733582Z","title":"2025 , archiveprefix =","venue":null,"work_id":"b3e39f93-9f88-468d-828b-f85b13ced0a7","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:927e33cb1da5a2d8e15e60a53a25038abbfadf828ae3d58fd80910d39b1d70ea","observation_id":"5887a379-8f1a-47de-b3ce-74007c4c3167","resolution":{"observed_at":"2026-05-10T11:20:10.449017Z","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.dam.2010.08.001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kovalyov and Erwin Pesch","venue":"Discrete Applied Mathematics","work_id":"195623d1-3d1b-4f88-a1e4-53894c49df90","year":2010},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:2557b59c65a156dd942b80e064ae58a026c11883b00cd8f93546676ee6c81e2e","observation_id":"0463ba5b-74d3-4e8e-9dfc-93dfde0b9c2b","resolution":{"observed_at":"2026-05-10T11:20:09.810494Z","resolver_source":"doi","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-16336-4_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"0e6a6c55-5880-47c9-b71c-c7d27e7aa761","year":2022},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:988cd2a20bedf01f1a78db4a010795d76b791e9be5587d8c39d13ab0977d7d1b","observation_id":"6bb29bd7-4726-469d-b1c1-d90941195654","resolution":{"observed_at":"2026-05-10T11:20:09.814034Z","resolver_source":"doi","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:87d3cf5a88253bf8213ba1911f64c14e216691d373eda1b1be47a9307d140987","observation_id":"e77c6c09-3d33-4557-90f5-5153c535b6d6","resolution":{"observed_at":"2026-05-10T11:20:10.439528Z","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.10737","last_updated":"2024-11-05T03:00:38Z","snapshot_observed_at":"2026-07-06T19:16:23.103921Z","submitted_at":"2024-09-16T21:15:56Z","title":"AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing","version":2},"cited_work":{"arxiv_id":"2409.10737","doi":"10.48550/arxiv.2409.10737","metadata_source":"arxiv_reference","pith_arxiv_id":"2409.10737","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AutoSafeCoder: Amulti-agentframeworkforsecuring LLM code generation through static analysis and fuzz testing","venue":"arXiv (Cornell University)","work_id":"ac9463c3-dc05-4cb9-b543-09c43c2d95fa","year":2024},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"cited_paper":"/paper/2409.10737","citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:0868d7e35624306816adf3e4887d9d0eb736ffc71f2077763795b2cc413388b9","observation_id":"4758659c-a73c-48ac-b740-7182b71a603d","resolution":{"observed_at":"2026-05-10T11:20:10.430661Z","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1278779a-5989-4e2a-beca-63e53fadcd4e","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:4d1c333626dad7c4886b7f3895b0b76e8011a5fad4b7967359f5355f667ae1b8","observation_id":"25c19d7a-921c-48a0-881c-9407878065e0","resolution":{"observed_at":"2026-05-19T14:47:36.846036Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.18607","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"006aa985-21fa-499e-b54a-09e0c82fa450","year":2026},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:758ca6d9ab16753e8bcd24360efa4df74ae0d05cc34c5870b0551aea326c12f6","observation_id":"902286b1-e178-4627-b7ea-5fc001e3ff26","resolution":{"observed_at":"2026-05-10T11:20:10.435000Z","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e2250a1a-77b3-438d-8cd7-697a7c3f0ee7","year":2026},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:737c8477348075bad877838b97e3c0a8522a732b636c6274e381c58f2eacd5b0","observation_id":"f27ecfaf-8598-437a-888c-64f9e7a43327","resolution":{"observed_at":"2026-05-19T14:47:36.844120Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.18585","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"RvLLM: LLM Runtime Verification with Domain Knowl- edge","venue":null,"work_id":"31308b18-5aaa-46a8-a078-3032f9d70638","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:fdd6af8cab387087c8bdbcab0db0af0174c3a4e8f81d8c0ce818f7ac8c6196d3","observation_id":"cda910aa-a711-4ef7-b270-07a7e8c059cb","resolution":{"observed_at":"2026-05-10T11:20:10.426171Z","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v38i19.30185","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Can LLM replace stack overflow? a study on robustness and reliability of large language model code generation","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"34486fa4-a969-4659-a580-816a62a2403b","year":2024},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:558e0cf219b797ee9be14403fec7fb2b18e181fe520896b244a9fc0f57d25363","observation_id":"962554ff-ab0f-4ab1-bb6e-e352d6c99ffc","resolution":{"observed_at":"2026-05-10T11:20:09.817294Z","resolver_source":"doi","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-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":14},"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 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2604.14867."}