{"as_of":"2026-08-06T08:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3cf008f6c52c541ad96488660cf6fe70e28d2e76e5d863a403f4b0d68aa38c70","coverage":[{"denominator":80,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":80,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-03T08:42:04.804042Z","state":"measured"},{"denominator":80,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":80,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+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/2607.02333/citation-record","integrity":"/paper/2607.02333/integrity","json":"/paper/2607.02333/citation-record.json","paper":"/paper/2607.02333"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.894143Z","title":"2026 agentic coding trends report,","venue":null,"work_id":"abd10e30-75e5-4de7-9654-90111dbbd442","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:4f2b105cbe881c5e3a29a518729581e12c41f43c396485ff094e50b178a13289","observation_id":"04807e48-7c75-404b-98e6-f64fa0b194b2","resolution":{"observed_at":"2026-07-05T10:40:55.895395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.895962Z","title":"Top vibe coding statistics & trends,","venue":null,"work_id":"24d2957d-4916-43ae-a38a-db1cc4c704cb","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:cf2eb48723d19c81737c0c2f9ac9b36d4c4396b78274523cc281fb5defa0b49b","observation_id":"1b7e812a-4b9b-4467-b6c8-bea9d7c6358d","resolution":{"observed_at":"2026-07-05T10:40:55.897290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.22418","doi":"10.48550/arxiv.2512.22418","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Building software by rolling the dice: A qualitative study of vibe coding,","venue":"arXiv (Cornell University)","work_id":"4f9ab073-ebc5-4b50-8719-c995eca1d6dd","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:3e0bdcaed3e18bf1351c1b2a5065f9b63d9038f477131537e7628f631e0b60cb","observation_id":"284540bd-fafa-4be4-a285-828e7f762c5f","resolution":{"observed_at":"2026-07-03T08:47:49.680387Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.00328","doi":"10.48550/arxiv.2510.00328","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Vibe coding in practice: Motivations, challenges, and a future outlook-a grey literature review","venue":"ArXiv.org","work_id":"f7593ae2-5fd6-4733-ae15-f1641d3079c6","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:de2fbc3c5061c5d9cf60edfa8957dad3895e6f6bf8805650e5b75da05d3c1693","observation_id":"ccde977a-5b86-43a8-9b75-e8f928386801","resolution":{"observed_at":"2026-07-03T08:47:49.716476Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-11T10:18:59.814454+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T10:18:59.814454+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.17150","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:47:49.689142Z","title":"Intent formalization: A grand challenge for reliable coding in the age of ai agents","venue":null,"work_id":"9816fddd-7db4-444f-82d8-0668656b446d","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:f1fa51ee71fb6f4e671527b934b7cca912cbd87baf45b90c884797a06b18f14f","observation_id":"a7845fc7-f5fc-44de-a3f7-d34684c8244b","resolution":{"observed_at":"2026-07-03T08:47:49.690717Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.897943Z","title":"State of code developer survey report,","venue":null,"work_id":"a08a6f27-f1c2-49fb-a421-d9a9959e6aca","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:ba79d9cc353f63551f1a26c9fc22e9bab13f25496081fc58a2916d22213b0f0d","observation_id":"f9e088db-d83d-4baa-a3da-489db9ee355b","resolution":{"observed_at":"2026-07-05T10:40:55.899311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.899963Z","title":"Lever: Learning to verify language-to-code generation with execution,","venue":null,"work_id":"9ef2bc3e-d7d5-4e6f-9eb3-85c107ee43ee","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:b8dede8838f84e1d46f255aa5150eeec1b9d93348288a31aa1c4f2d39aaeac3a","observation_id":"a6a5f5dc-4977-41d4-b015-07a2f92369a8","resolution":{"observed_at":"2026-07-05T10:40:55.901362Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.903834Z","title":"Automated unit test improvement using large language models at meta,","venue":null,"work_id":"b46f02e3-3e27-430d-9570-6dbfc595aa26","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:faf7d2d50612571a91a87044047b7f861c2bf74870b9293f89c558a7d8324a6f","observation_id":"c0fad0a4-4988-4196-90f0-7fef6fef613e","resolution":{"observed_at":"2026-07-05T10:40:55.905960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.908588Z","title":"Rethinking verification for LLM code generation: From generation to testing,","venue":null,"work_id":"856eee19-1ac4-4657-b4aa-cedf5c6153db","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:358a07d7aa8d35ba4f656d9beafc9b487bfed32cf723703da91722bf74385d89","observation_id":"dca0bea0-9da2-4bbf-b6b0-f2febb47dc9d","resolution":{"observed_at":"2026-07-05T10:40:55.909974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.888484Z","title":"Testeval: Benchmarking large language models for test case generation","venue":null,"work_id":"9f132ca1-269d-4583-a58d-c561e0c24604","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:0bfca9ea2acad79469b62f2769e58714c8767522173e50909ccfa96d3c0205b0","observation_id":"46fcce58-85a8-4fa7-acdc-7e8b71610e43","resolution":{"observed_at":"2026-07-05T10:40:55.889733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.890248Z","title":"Test case generation for requirements in natural language-an llm comparison study,","venue":null,"work_id":"818b4d8e-3415-4514-bfb8-11733afc9783","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:366a810498f34969808edca186690f74605b01fdbaf28257c6663f06927eb2e6","observation_id":"ad87e215-f852-4511-9433-b3d73ebbea4b","resolution":{"observed_at":"2026-07-05T10:40:55.891406Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.886879Z","title":"Test-driven development and llm-based code generation,","venue":null,"work_id":"7895a957-fbdd-49bf-8d65-d27be630c2bc","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:1841602e47a887fa82d420e6463ab69e1f88d5c51f434900a21cf9e5ae30bcf1","observation_id":"b0594b4f-dce6-4bd0-8a31-85eed67ed50d","resolution":{"observed_at":"2026-07-05T10:40:55.887990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.883433Z","title":"Automated program refinement: Guide and verify code large language model with refinement calculus,","venue":null,"work_id":"adcf9ee7-341f-4d87-9ba6-71dfe34b5e1a","year":2057},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:5107d717d06124235c77608f311bdd2b01d24289c566027e4ceccf5c5771b38a","observation_id":"25c5df30-f7ed-4f02-982f-e7d6921c2f99","resolution":{"observed_at":"2026-07-05T10:40:55.884615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":"2310.04870","doi":"10.48550/arxiv.2310.04870","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lemur: Integrating large language models in automated program verification,","venue":"arXiv (Cornell University)","work_id":"9bc3cde7-7091-4944-8c7a-60d43cff9de1","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:188913d2ede4f51f5c3fe604fdf2f9ab5ea3abc9e30e439c4f4fdf806cbbf8b3","observation_id":"f4316b6d-2b35-4fac-a4ce-920af64c6e94","resolution":{"observed_at":"2026-07-03T08:47:49.695700Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:25.827299+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.881703Z","title":"Clover: Clo sed-loop ver ifiable code generation,","venue":null,"work_id":"3f039e3e-b740-444a-ae63-7a5962bde1eb","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:3ed4fafe0a3d0f46e2008eb6c3b09018ac00ad66d2b00adbae2796b69cb03b1c","observation_id":"13b84743-7f3d-4a1c-99d2-fad3fa3e74a3","resolution":{"observed_at":"2026-07-05T10:40:55.882877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.876382Z","title":"Vecogen: Automating generation of formally verified c code with large language models,","venue":null,"work_id":"a61d8b51-1e6b-4d39-b66a-7ef41297dea4","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:32e82a81e4a50879fdfa39441362de1c0113dae3612a062056b482562e8ad3d7","observation_id":"32904662-721a-4b93-b24b-92f68fa72493","resolution":{"observed_at":"2026-07-05T10:40:55.877550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:b7f6dc9198776df62fe197c4c9890e5f85e5f3d7a248dc6cb989e2b9984beae6","observation_id":"05c180f9-663c-4daf-8e40-58e0002a21a1","resolution":{"observed_at":"2026-07-03T08:47:49.708017Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2509.14668","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T07:49:38.653145Z","title":"Deepassert: An llm-aided verification framework with fine-grained assertion generation for modules with extracted module specifications","venue":null,"work_id":"7f10a859-3afa-41b3-b626-7bed218f061a","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:902d728b09b14280616d45fbd5ba1df0dac666f5a86df538405e065fd7e3dcf4","observation_id":"c9fc1882-bb6d-4346-a700-f0eada731d40","resolution":{"observed_at":"2026-07-03T08:47:49.672468Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3737447","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Certificates in ai: Learn but verify,","venue":"Communications of the ACM","work_id":"676944a0-1e7c-4a34-85e8-4b3482fe9b83","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:58db3b939e0950b744154a1a8834ce854ea8f568fa71d5fc127579e11aba4a1f","observation_id":"50924598-3db4-4d5a-ad33-71fe5ba858e0","resolution":{"observed_at":"2026-07-03T08:47:49.481440Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.879946Z","title":"Code-aware prompting: A study of coverage-guided test generation in regression setting using llm,","venue":null,"work_id":"7c8096a0-52bb-4433-bbff-a89f40462750","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:309ebaca860b0f4a5727b23e4c46eb330e3358653985e2d09e3dc444a050e52e","observation_id":"df3a4544-b611-4e1d-9568-8f8dcd8c90d1","resolution":{"observed_at":"2026-07-05T10:40:55.881137Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.874170Z","title":"Coverup: Effective high coverage test generation for python,","venue":null,"work_id":"4b7b9285-0a6d-4b11-ae3b-56d51b835e38","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:3dcceb5215a10133ca652cce02ff95ee76eaaf1236348c45e48870172740be96","observation_id":"3dbcb06d-ff3b-45fb-a658-1c6b2f6064ae","resolution":{"observed_at":"2026-07-05T10:40:55.875810Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.13580","last_updated":"2025-08-28T23:24:22Z","snapshot_observed_at":"2026-08-05T18:14:12.424255Z","submitted_at":"2025-03-17T16:10:38Z","title":"LLM Test Generation via Iterative Hybrid Program Analysis","version":2},"cited_work":{"arxiv_id":"2503.13580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.13580","snapshot_observed_at":"2026-07-03T08:47:49.717862Z","title":"Llm test generation via iterative hybrid program analysis","venue":null,"work_id":"fb8b196e-3e2a-4787-862f-3a078d1fefd4","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2503.13580","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:4f74311a2e50fba7fbec0ff5f40f85f3a7814f8de40ec1cf049d51f228090eee","observation_id":"8ab44927-43f8-4bca-ab21-69b3d5b0acee","resolution":{"observed_at":"2026-07-03T08:47:49.726365Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.871845Z","title":"On the effectiveness of llm-as-a-judge for code generation and summarization","venue":null,"work_id":"1f813bad-bbd1-407c-9b18-9532de67e241","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:f295ab66be7f0893193999cebbb13aa9f3536a2cb7ad05f7a84324b68b3884f3","observation_id":"906d5034-a5c3-45b5-8423-9bd86a4b315c","resolution":{"observed_at":"2026-07-05T10:40:55.873462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-07T05:23:22.164750Z","title":"Clarifygpt: A framework for enhancing llm-based code generation via requirements clarification,","venue":null,"work_id":"767ed367-69b1-498e-87c0-eaf3db40c5f8","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:55e04bcc42c13bf5defb4b8deb65fbc6785ecf418c9d3f71474ddbd405f860f6","observation_id":"509ab02d-82aa-4c8d-8020-f9b0424a8026","resolution":{"observed_at":"2026-07-05T10:40:55.879437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.885138Z","title":"Python code generation by asking clarification questions,","venue":null,"work_id":"a0817ae0-654e-4b6a-91dd-7cc926726ce5","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:414566ed93e49b65d78fb3a07dfb59fcfab827f164ba3db7b15de34c55c0ec38","observation_id":"ee4fb064-128b-4307-b300-c7cfd44114ca","resolution":{"observed_at":"2026-07-05T10:40:55.886346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.21285","last_updated":"2025-07-28T19:10:57Z","snapshot_observed_at":"2026-07-06T22:04:11.380693Z","submitted_at":"2025-07-28T19:10:57Z","title":"Curiosity by Design: An LLM-based Coding Assistant Asking Clarification Questions","version":1},"cited_work":{"arxiv_id":"2507.21285","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.21285","snapshot_observed_at":"2026-07-03T08:47:49.730256Z","title":"Curiosity by design: An llm-based coding assistant asking clarification questions,","venue":null,"work_id":"71a11f83-36dd-4eff-ba26-8b8d03b5520a","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2507.21285","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:f58926552cacaeed4387cd79e4817ba675818dddf7995039df6d65d7901383bb","observation_id":"8cc6832b-f0a6-4bfd-a7c9-d6a54f75b35d","resolution":{"observed_at":"2026-07-03T08:47:49.731620Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.870107Z","title":"Clarigen: Bridging instruction gaps via interactive clarification in code generation,","venue":null,"work_id":"d2bbba5f-25b0-4a78-a787-c9dca47dd746","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:2481bb92234169e09f2618a6d168d4be10790fa77fc459976b5196844cb88622","observation_id":"182db330-6889-4b8d-bee3-70b48dd02d54","resolution":{"observed_at":"2026-07-05T10:40:55.871305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.13507","last_updated":"2024-01-22T18:54:52Z","snapshot_observed_at":"2026-07-06T16:10:31.087739Z","submitted_at":"2023-08-25T17:33:05Z","title":"Large Language Models Should Ask Clarifying Questions to Increase Confidence in Generated Code","version":2},"cited_work":{"arxiv_id":"2308.13507","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2308.13507","snapshot_observed_at":"2026-07-03T08:47:49.727672Z","title":"Large language models should ask clarifying questions to increase confidence in generated code,","venue":null,"work_id":"e63e7d43-fb97-4a89-ba75-f201e6682111","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2308.13507","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:f0baa22efd19a9fda47babb5510d7bb8f13b6953f480eae7f2ea48713b69ab0d","observation_id":"0bb63dac-7b92-40fd-a896-faf9ec1a610b","resolution":{"observed_at":"2026-07-03T08:47:49.729174Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.07270","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:47:49.732674Z","title":"Automated repair of ambiguous problem descriptions for llm-based code generation,","venue":null,"work_id":"bf064e8a-e68c-4572-9934-269306b96871","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:07eddd98cf9382583e24e3fda7632c173db5c24f0e13de4c4ef6cd713ff89d4c","observation_id":"e4df3a07-1c0f-467a-a38a-e90f8d560a6f","resolution":{"observed_at":"2026-07-03T08:47:49.734080Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.910705Z","title":"Contested: Consistency-aided tested code generation with llm,","venue":null,"work_id":"e3c21084-738a-4346-b2ce-55e96c95bf66","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:8325ae3243ebdad30708ec5355a940d3d9238f41e7f5a2bb8f72f4840577efe7","observation_id":"01267889-4dac-4184-b198-a89d87d2c8b4","resolution":{"observed_at":"2026-07-05T10:40:55.912022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.05868","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T08:29:42.443180Z","title":"Persistent human feedback, llms, and static analyzers for secure code generation and vulnerability detec- tion,","venue":null,"work_id":"501fbaf8-2b0b-4aac-ad3d-0d69fa08f84d","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:a4aeaaccfbfd55fc1eceb554ff68d835cbccc347ab29fea21805e3b875b0571d","observation_id":"34d2542e-061a-4890-a312-0483e3f54835","resolution":{"observed_at":"2026-07-03T08:47:49.683066Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.912680Z","title":"Llm- based test-driven interactive code generation: User study and empirical evaluation,","venue":null,"work_id":"f4829ea3-35ab-4cc5-a58a-9b83f7f15691","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:c6bd4f68628496088ac78e08faf7b94e9fae743fcf90a8793bd261f307407a6d","observation_id":"2b0aa94c-4917-402c-90c0-fa5a84cae7ce","resolution":{"observed_at":"2026-07-05T10:40:55.914137Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.914897Z","title":"Machine learning testing: Survey, landscapes and horizons,","venue":null,"work_id":"7c25f958-a006-4043-b431-ca964232e9a9","year":2020},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:9f1344ee6237f8f9aa39bc0d321068c5ab98a6fdb6f17c98bb93818b64f4809d","observation_id":"7084ed77-2bde-47e7-859e-b17a1434529f","resolution":{"observed_at":"2026-07-05T10:40:55.916200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.862884Z","title":"Quantcode-eval: Bench- marking quantitative strategy code reproduction from finance papers,","venue":null,"work_id":"91b49d94-4190-40bb-af7f-f884fff274f9","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:681649a6d6b05d6a47266e1b35e07b2ee67dc4b263319be2e65b7acaf6e194f2","observation_id":"17dd80b6-a6d6-4ec1-8281-c3d64ab3ec84","resolution":{"observed_at":"2026-07-05T10:40:55.864067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.15877","last_updated":"2025-04-01T08:36:44Z","snapshot_observed_at":"2026-07-31T19:00:59.311189Z","submitted_at":"2024-06-22T15:52:04Z","title":"BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions","version":4},"cited_work":{"arxiv_id":"2406.15877","doi":"10.48550/arxiv.2406.15877","metadata_source":"pith","pith_arxiv_id":"2406.15877","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions","venue":"cs.SE","work_id":"14715c3c-002c-4bc4-8882-f7c586954d62","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2406.15877","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:923206f00e79eee3b8629cd7e151f50b54c5b52a82d7c777d395d67daf2ec69d","observation_id":"570f9780-0298-4d3b-80d0-5953b1b41771","resolution":{"observed_at":"2026-07-03T08:47:49.698213Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.864587Z","title":"Deepseek v4 flash,","venue":null,"work_id":"e07f9a14-66b9-4471-8d74-d4f9cc1540f0","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:9c093ed689ad21788189e2d200401b2f3ab3c5e74c3d0bd250dc85767397611b","observation_id":"f9c6c87e-41c7-48dd-bff4-f08264b617a4","resolution":{"observed_at":"2026-07-05T10:40:55.865842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.868372Z","title":"Claude opus 4.7,","venue":null,"work_id":"b9fd4c5a-830c-4917-8ec1-193e2e1f85bb","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:642db713a363b265eab35776a837cd231c6cd32a677ddbda67e67a4e90942f2e","observation_id":"6e84e916-1a64-409d-8ba6-c6657de08395","resolution":{"observed_at":"2026-07-05T10:40:55.869572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.861172Z","title":"Literate programming,","venue":null,"work_id":"0b4135ab-6d77-48f0-94aa-e83a28201bb6","year":1984},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:b03d62e0e71741fec0560669b2de99999fccfe4979d7dbc4893ec300496e0b2c","observation_id":"1c529d4a-f883-4392-8f30-5f98c7715a2d","resolution":{"observed_at":"2026-07-05T10:40:55.862212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.866435Z","title":"Natural language outlines for code: Literate programming in the llm era,","venue":null,"work_id":"f3f92986-9377-4ac3-883f-1b712d186022","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:5e15db43faf903d6f8f7008c76da113543dbeadc6584010bf8b589c05f725ca5","observation_id":"04ff82e9-2254-4557-bd68-e61a0b611964","resolution":{"observed_at":"2026-07-05T10:40:55.867749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.07768","last_updated":"2025-05-12T17:20:30Z","snapshot_observed_at":"2026-07-06T21:22:40.740091Z","submitted_at":"2025-05-12T17:20:30Z","title":"Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding","version":1},"cited_work":{"arxiv_id":"2505.07768","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.07768","snapshot_observed_at":"2026-07-03T08:47:49.691824Z","title":"Enhancing code generation via bidirectional comment-level mutual grounding","venue":null,"work_id":"7212d638-cc21-47aa-b921-70f0acfc73e2","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2505.07768","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:07b8f627d2ae8e26ec1995d7b9387d6f2f131bf4fcd8cbdfa5c015afb4c44cdc","observation_id":"a465a4f8-ed6e-4ec5-bd67-00072d57733b","resolution":{"observed_at":"2026-07-03T08:47:49.693245Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.892149Z","title":"Bounded model checking","venue":null,"work_id":"18d68e6f-84b7-4719-b7cb-69e74f6f4328","year":2009},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:713c768fce10920ea1ccbb5e789c94a575930fd850d6b87debeeec3e51a5ecee","observation_id":"c790d21c-15bd-4b89-aebb-5a5f09ab8f25","resolution":{"observed_at":"2026-07-05T10:40:55.893588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.902011Z","title":"Jupyter notebook: The classic notebook interface,","venue":null,"work_id":"cea9d399-a465-4ac2-aafd-e18676fb677b","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:0cdad5007d1acbb0e35ea1f4e27ed19737fe5cf9f491358c0023939a03c0e1b7","observation_id":"c86cfd54-010c-4958-aa19-4b0fae28b4a3","resolution":{"observed_at":"2026-07-05T10:40:55.903233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.916857Z","title":"Model checking","venue":null,"work_id":"b18e4125-0f5b-4269-a363-f443b43b1d42","year":1997},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:06f5d8b260c1b69d44c8baaac7063759a0b16532048cc92a599086fd4599b155","observation_id":"db50e61c-d380-44ac-bde8-f21a96dc3500","resolution":{"observed_at":"2026-07-05T10:40:55.918107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.856465Z","title":"Semantical considerations on floyd-hoare logic,","venue":null,"work_id":"ece05858-e9fc-499a-ba10-70268dff4f57","year":1976},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:e95cf759d0d02e67db1423b2a59992fe223bf1b9017d96c6acf48ede5c46a8c2","observation_id":"18e7f770-3407-411c-9499-73eeb2c3438c","resolution":{"observed_at":"2026-07-05T10:40:55.857494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.906588Z","title":"Toward natural language computa- tion i,","venue":null,"work_id":"b745f789-671c-4d1b-9d66-4525220f3314","year":1980},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:5afe57efba8691557c65f5d84e1b0998df96af56dacc8946f6cd9e01a98dc86f","observation_id":"9faa30c5-5ca1-4c6e-b263-0b3734fc0c69","resolution":{"observed_at":"2026-07-05T10:40:55.907879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.851358Z","title":"Natural language programming: Styles, strategies, and contrasts,","venue":null,"work_id":"352dddfa-6729-4034-8455-1ad510fdf707","year":1981},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:e97d81f9c34de5392f9f6d925ac0332aaf68972b57de1f870d315490253e8146","observation_id":"c76c6b6d-888e-47e1-833e-51e9799f050b","resolution":{"observed_at":"2026-07-05T10:40:55.852438Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3808141","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:47:49.483472Z","title":"Thought is all you need: Smart contract vulnerability detection with thought-augmented large language model,","venue":null,"work_id":"221fd589-3796-461a-8871-55dac905f5c5","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:44c50c89a2c92f85444593da7317b847b817dbbf0361892d48aa116cc261f53d","observation_id":"04c1ce66-dc1e-4cc6-8f8e-29dfaa4387ef","resolution":{"observed_at":"2026-07-03T08:47:49.484664Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.10625","last_updated":"2023-04-16T22:08:08Z","snapshot_observed_at":"2026-08-03T04:30:54.138138Z","submitted_at":"2022-05-21T15:34:53Z","title":"Least-to-Most Prompting Enables Complex Reasoning in Large Language Models","version":3},"cited_work":{"arxiv_id":"2205.10625","doi":"10.48550/arxiv.2205.10625","metadata_source":"pith","pith_arxiv_id":"2205.10625","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Least-to-Most Prompting Enables Complex Reasoning in Large Language Models","venue":"cs.AI","work_id":"7e58c111-4666-4996-b5ad-1c8efd433083","year":2022},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2205.10625","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:37c0b9003710333fc9f79db9bf7aa964ef2e165d5cbb77ba22a922e47911407e","observation_id":"de4033d5-2db5-45d1-ada0-2031fc6bbbcd","resolution":{"observed_at":"2026-07-03T08:47:49.688065Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.852952Z","title":"Recovering traceability links between code and documentation,","venue":null,"work_id":"5d50890f-712b-4ab0-bef6-03b75ccdc865","year":2002},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:e2b58aa9efcf2b40651414bd727190132384aae8c02e6144927d3b695d24372c","observation_id":"0f823c59-3b58-43eb-adfe-c74aa2c39fbc","resolution":{"observed_at":"2026-07-05T10:40:55.854058Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.854770Z","title":"Lissa: Toward generic traceability link recovery through retrieval-augmented generation,","venue":null,"work_id":"c190f89a-e408-43a0-929e-a5e33bc2b1cc","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:8da0d8cf055f519bf2b80cbeda9665494de0db62724a835f4580a947887941fd","observation_id":"6c7cd852-5cbf-4b67-9e19-5e688d1cb790","resolution":{"observed_at":"2026-07-05T10:40:55.855959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.09271","last_updated":"2024-09-14T02:43:20Z","snapshot_observed_at":"2026-07-06T19:15:17.200627Z","submitted_at":"2024-09-14T02:43:20Z","title":"Python Symbolic Execution with LLM-powered Code Generation","version":1},"cited_work":{"arxiv_id":"2409.09271","doi":"10.48550/arxiv.2409.09271","metadata_source":"arxiv_reference","pith_arxiv_id":"2409.09271","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Python Symbolic Execution with LLM-powered Code Generation, September 2024","venue":"arXiv (Cornell University)","work_id":"239b7f32-4891-458c-95ae-433b49dc0b57","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2409.09271","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:9453d2a9c9000bc8b8419a79c5ec0738e5fd8ae6035fa4e3b702627bb8bb9948","observation_id":"6422d228-54ab-4031-bddf-6200b2dd5d2c","resolution":{"observed_at":"2026-07-03T08:47:49.669884Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.846758Z","title":"Langchain,","venue":null,"work_id":"4961381c-f588-45be-adc1-78b5fb5b4a0a","year":2022},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:230f46def7dd4254fb9fb21bafefe379b2b58aa1a6bc0952a87fa87a3e3d903a","observation_id":"51279c04-c349-49cb-8ad8-42002350f5fc","resolution":{"observed_at":"2026-07-05T10:40:55.847774Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.848261Z","title":"O’Reilly Media, Inc","venue":null,"work_id":"b8cd4f3e-93b7-47f2-9d66-9f1743d5bf4a","year":2009},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:c38bdc564c76ab0e43f4ea7cbf6c6af73d795609877dee2f5a3f6ba82d65cb81","observation_id":"9dc8e942-8474-4e24-b17d-ed5161fbc605","resolution":{"observed_at":"2026-07-05T10:40:55.849255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2601.03267","last_updated":"2026-05-01T23:55:43Z","snapshot_observed_at":"2026-08-02T10:52:10.211700Z","submitted_at":"2025-12-19T07:05:38Z","title":"OpenAI GPT-5 System Card","version":2},"cited_work":{"arxiv_id":"2601.03267","doi":"10.48550/arxiv.2601.03267","metadata_source":"pith","pith_arxiv_id":"2601.03267","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"OpenAI GPT-5 System Card","venue":"cs.CL","work_id":"ca87689a-0d29-4476-b504-b65dbbb08af4","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2601.03267","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:bd9a96cd17e413670c8dfb325eb4d8bdadcf978cb18ef33668746e385b0ef937","observation_id":"88a40b60-ecad-40cc-8f59-768b27bc7f70","resolution":{"observed_at":"2026-07-03T08:47:49.705414Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-03T00:38:11.458508+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-03T00:38:11.458508+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:5f6a3c13be734193065b2dc1e48acd6e6e2f3e5c1d93e55612cbc684937c970a","observation_id":"ed1f350d-fdc7-422e-ac53-a114c01e4c48","resolution":{"observed_at":"2026-07-03T08:47:49.703083Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-06T00:51:40.248000Z","title":"Judging llm-as-a-judge with mt-bench and chatbot arena","venue":null,"work_id":"357e9b7b-0152-4dc7-b11a-604978b67917","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:d31881d5ed4d1d12eeb2c1cf2f74401556bcc5629cdba5b4116a19126d99b9ce","observation_id":"b1a88177-429c-4c24-b62b-efe1ae6a8331","resolution":{"observed_at":"2026-07-05T10:40:55.850851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.841646Z","title":"Prometheus: Inducing fine-grained evaluation capability in language models,","venue":null,"work_id":"6a0a13d6-9f91-4e9e-a55a-3c8178342212","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:9c5a461dbdae80e0ac241525a58713d2471f984eb999c821c8e2ad9c47f7aae2","observation_id":"5d66dfc2-2dd8-4ebc-812a-d63a7c983e90","resolution":{"observed_at":"2026-07-05T10:40:55.842791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.24347","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T12:29:52.163909Z","title":"Fewer Hallucinations, More Verification: A Three-Stage LLM-Based Framework for ASR Error Correction,","venue":null,"work_id":"d30a9250-7dc1-46f3-9ac1-698014a65982","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:8299a11e16ac28c8c5ee9d9d23b2da7e1b0c18e2aa029500fbcbc9d7a78dff8d","observation_id":"bb36ecc9-ab0a-483d-8531-5fcf954847ae","resolution":{"observed_at":"2026-07-03T08:47:49.667135Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.844956Z","title":"Llm-check: Investigating detection of hallucinations in large language models","venue":null,"work_id":"92875a5d-d45f-4742-8531-e80439e3a9f0","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:1dc3bb2ea5e089f2e9e1bbec18928efa6dee2c914019d4ab8de9528a31cb7ec3","observation_id":"d53ef912-4f10-48b1-96a1-9c064e8f1b09","resolution":{"observed_at":"2026-07-05T10:40:55.846188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.843357Z","title":"Calibration and correctness of language models for code,","venue":null,"work_id":"4573e82d-3203-46c8-b131-139a2826d0b0","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:e008f53f6de511dd1ab54fb7653e2e4da929c9196ae92c5230a3ce3fcd7d1c0e","observation_id":"a1b35f0c-a982-47be-8e9c-ba32de9f4d23","resolution":{"observed_at":"2026-07-05T10:40:55.844425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.06864","last_updated":"2024-06-11T00:40:17Z","snapshot_observed_at":"2026-07-06T18:28:33.795339Z","submitted_at":"2024-06-11T00:40:17Z","title":"Validating LLM-Generated Programs with Metamorphic Prompt Testing","version":1},"cited_work":{"arxiv_id":"2406.06864","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2406.06864","snapshot_observed_at":"2026-07-03T08:47:49.684166Z","title":"Validating LLM-generated programs with metamorphic prompt testing","venue":null,"work_id":"35df3b13-14d0-48ad-92a5-f5458891843e","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2406.06864","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:dd6a91bde28c5c7bc12815d4cb6ba35d033081c0389a9d39f31f6316d102218b","observation_id":"babf031f-03bb-4385-9e3e-d4a0658ecb5b","resolution":{"observed_at":"2026-07-03T08:47:49.685605Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.18315","last_updated":"2026-05-01T05:53:57Z","snapshot_observed_at":"2026-08-02T07:45:21.500873Z","submitted_at":"2025-06-23T06:01:12Z","title":"Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback","version":2},"cited_work":{"arxiv_id":"2506.18315","doi":"10.48550/arxiv.2506.18315","metadata_source":"pith","pith_arxiv_id":"2506.18315","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback","venue":"cs.SE","work_id":"f7b96bd8-2f01-4de6-99e7-1177250aed0d","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2506.18315","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:940dfa47bb6eb0386f93f7b45179913a2837aa74fb91c0f64c0c09d51ed22be0","observation_id":"934b17b9-b6c7-4779-a128-45047f231ae3","resolution":{"observed_at":"2026-07-03T08:47:49.674901Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3777544","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Guardians of the agents,","venue":"Communications of the ACM","work_id":"2189b8bf-c2e3-4b69-91ba-5892a3b9999e","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:acf55848c864c409207238109016c52c2cf74179890d89f44714dc6bef34140f","observation_id":"1c8e8402-333a-4e11-9db8-c11c5243e1b6","resolution":{"observed_at":"2026-07-03T08:47:49.482985Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.13047","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:47:49.676018Z","title":"Sharpen the spec, cut the code: A case for generative file system with sysspec,","venue":null,"work_id":"e66a6036-63a9-4965-a6c3-7d75885d4abc","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:6717e36933b64f07e0b3bc985ed76d5176b34487ae41eb09cdf32f391b02f2a7","observation_id":"4f36e441-656c-4da9-92c8-e24af3fed75c","resolution":{"observed_at":"2026-07-03T08:47:49.677475Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.11556","last_updated":"2026-06-18T16:56:08Z","snapshot_observed_at":"2026-08-05T05:03:09.113194Z","submitted_at":"2026-04-13T14:42:44Z","title":"FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning","version":2},"cited_work":{"arxiv_id":"2604.11556","doi":"10.48550/arxiv.2604.11556","metadata_source":"pith","pith_arxiv_id":"2604.11556","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning","venue":"cs.SE","work_id":"4f75f30d-38bb-4683-b16a-669b2cc28f03","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2604.11556","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:789585fe492e6485858d1120ac0f3e41f2d69a89cc8276dafe7fbee731006e06","observation_id":"1e601808-21c1-4a8e-be32-dafcf8dd88ef","resolution":{"observed_at":"2026-07-03T08:47:49.661608Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.857949Z","title":"Self-spec: Model-authored specifications for reliable llm code generation,","venue":null,"work_id":"7610eb9f-eaaf-4d79-bec0-4d68da44cc0c","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:18f80f67fc33e877bb7a37a6f39b809f220909599aee2080f9e945e1cf793c70","observation_id":"f41a2f54-49a0-4997-84a6-0e4c7dce194b","resolution":{"observed_at":"2026-07-05T10:40:55.858979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.836171Z","title":"Spec Kit,","venue":null,"work_id":"ccd5df99-cf97-4dce-8728-f9fcbbf56f8e","year":2026},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:f15a2c302c30beeda75f9608f24d6e539bae165bbabc5dfca1a20c8e5aeaf39b","observation_id":"943aa4ae-73a2-45c6-8271-fea4d9d29e63","resolution":{"observed_at":"2026-07-05T10:40:55.837217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.02580","last_updated":"2024-12-06T08:41:01Z","snapshot_observed_at":"2026-07-06T18:09:46.934515Z","submitted_at":"2024-05-04T06:28:27Z","title":"PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation","version":2},"cited_work":{"arxiv_id":"2405.02580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-07-03T20:38:55.775349Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":"7c591feb-b353-41d3-976c-ec7a256d767d","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:95dd68b9cce6ced1ed4fb374abd66d5639c096711f2ece891dc5b2b86f70439c","observation_id":"42ee4403-a1f6-485d-a7f5-fbaba1c4140d","resolution":{"observed_at":"2026-07-03T08:47:49.664450Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.837855Z","title":"RvLLM: LLM runtime verification with domain knowledge,","venue":null,"work_id":"5ab2cac0-cae6-4401-a0b2-ec8fedf6a752","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:4d2a258b0c86e64f2bfd41533d340859cb23a3afa96b25f24c0e816f9b5e9f98","observation_id":"8d258cc4-1827-4fd0-9887-e93d927e1faa","resolution":{"observed_at":"2026-07-05T10:40:55.839246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.834189Z","title":"Evaluating the ability of gpt-4o to generate verifiable specifications in verifast,","venue":null,"work_id":"bb901e57-a28b-4531-afae-6bc905d66f44","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:d210c1da6a027b141434091135b04b703e1ceb5290c4fded0cdccbe723b28fe3","observation_id":"bf82cc2f-9464-43c9-ae46-8d9c1c5a1022","resolution":{"observed_at":"2026-07-05T10:40:55.835482Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.832400Z","title":"Llm-guided formal verification coupled with mutation testing","venue":null,"work_id":"91d7b4c7-226b-43eb-b96e-638fa3b73bdf","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:af5bf32a0515cb29664552ae975fa7383bc2e9b3e5a97f92591915dfc2630cc5","observation_id":"3fe890ef-f7fc-4468-b009-01ce5a8c853d","resolution":{"observed_at":"2026-07-05T10:40:55.833672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.839858Z","title":"Grounded copilot: How programmers interact with code-generating models","venue":null,"work_id":"520fc074-09ef-4802-96a2-4c42b0efe6f9","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:8283bd62d198fc2e95b61ae658746587122bb461ddae1cea027e3e06dd9e2807","observation_id":"c3587158-0150-4846-84bb-b451b440b5b4","resolution":{"observed_at":"2026-07-05T10:40:55.841065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.859512Z","title":"Reading between the lines: Modeling user behavior and costs in ai-assisted programming,","venue":null,"work_id":"a35d076c-ca2a-4477-a149-258f6b9d00af","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:dc940512a077bed57f05b639333fcdd22d4d793f135e172d63a93b450127e33d","observation_id":"0e4f06e8-8fde-4f13-b3a7-6467a5015c1c","resolution":{"observed_at":"2026-07-05T10:40:55.860661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.830659Z","title":"Towards more effective ai-assisted programming: A systematic design exploration to improve visual studio intellicode’s user experience,","venue":null,"work_id":"0d602d13-1601-4ae5-b12c-1c49f2ee7838","year":2023},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:b2bc3c98c6604f8b6d2b5640d9132bc1fe1aea695917946953bd4f3068fdf247","observation_id":"bb859a4a-2c33-4499-945e-8041a6e3b853","resolution":{"observed_at":"2026-07-05T10:40:55.831862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.03998","last_updated":"2024-05-10T22:11:24Z","snapshot_observed_at":"2026-07-06T18:10:45.376531Z","submitted_at":"2024-05-07T04:21:07Z","title":"Sketch Then Generate: Providing Incremental User Feedback and Guiding LLM Code Generation through Language-Oriented Code Sketches","version":2},"cited_work":{"arxiv_id":"2405.03998","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.03998","snapshot_observed_at":"2026-07-03T08:47:49.709284Z","title":"Sketch then generate: Providing incremental user feedback and guiding llm code generation through language-oriented code sketches,","venue":null,"work_id":"a3029cc2-7aa9-4c39-895f-56cd18a76f21","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2405.03998","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:ccd8783a0048acf4a1e2f2f0d929512b4406c51b292ac26ef675da3359459888","observation_id":"3d8b213e-a722-4eb8-ae97-ee147aaf91d1","resolution":{"observed_at":"2026-07-03T08:47:49.710809Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.828472Z","title":"Validating ai-generated code with live programming,","venue":null,"work_id":"319e63ee-ba89-4458-b30c-db9c0dd2ad0e","year":2024},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:5e67acb4e16ab96a9db34a983a4c164c1ec3ccd720daf490197e38eea6eae506","observation_id":"b4b58c8c-6e7e-4199-beb0-4af44efc413e","resolution":{"observed_at":"2026-07-05T10:40:55.829580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.826796Z","title":"Hilde: Intentional code generation via human-in-the-loop decoding,","venue":null,"work_id":"c795296f-6e30-4f8b-8caf-70b533699c26","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:f30c1098f8e215774d5ee5d3154bb2175b13c438a7178f83ccfbb3d0bfc6132c","observation_id":"d7dd145d-ff9c-42cb-aebb-48a2b0cce5d9","resolution":{"observed_at":"2026-07-05T10:40:55.827932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-07-05T10:40:55.825046Z","title":"Human-in-the- loop software development agents,","venue":null,"work_id":"28bda640-75da-4fa0-80df-b50b5b5fd98a","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:7c3271b637170199b33eee8c17276a22df1d346f33a1e58792cf3ea10f0b2ad3","observation_id":"549999ab-729b-4ba6-aacb-fb9b7882f30d","resolution":{"observed_at":"2026-07-05T10:40:55.826223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.20439","last_updated":"2025-07-27T23:16:14Z","snapshot_observed_at":"2026-07-06T22:03:38.358033Z","submitted_at":"2025-07-27T23:16:14Z","title":"When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions","version":1},"cited_work":{"arxiv_id":"2507.20439","doi":"10.48550/arxiv.2507.20439","metadata_source":"arxiv_reference","pith_arxiv_id":"2507.20439","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"When prompts go wrong: Evaluating code model robustness to ambiguous, contradictory, and incomplete task descriptions,","venue":"arXiv (Cornell University)","work_id":"d14b55dc-b2cd-4daa-9a15-fd2e25f33927","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2507.20439","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:69176021b82ffc18267d1da7a872dc93a4eb637966c1b53def017d58383e2b65","observation_id":"b9f16e6d-8e35-411a-8ed3-6728eba63bfd","resolution":{"observed_at":"2026-07-03T08:47:49.713356Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.13360","last_updated":"2026-04-24T18:23:38Z","snapshot_observed_at":"2026-07-06T21:26:25.429980Z","submitted_at":"2025-05-19T17:03:42Z","title":"What Prompts Don't Say: Understanding and Managing Underspecification in LLM Prompts","version":3},"cited_work":{"arxiv_id":"2505.13360","doi":"10.48550/arxiv.2505.13360","metadata_source":"pith","pith_arxiv_id":"2505.13360","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"What Prompts Don't Say: Understanding and Managing Underspecification in LLM Prompts","venue":"cs.CL","work_id":"a5bcb9f4-7fed-4035-8449-f6d670f94fd3","year":2025},"citing_paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-07-03T08:42:04.804042Z"},"links":{"cited_paper":"/paper/2505.13360","citing_paper":"/paper/2607.02333"},"observation_digest":"sha256:c607b3ecff4f52a999a622fc65be7703d7130a19e1517a19d280e2496f2bfb1e","observation_id":"c9b2e786-f9ca-4038-baad-575b4c86c156","resolution":{"observed_at":"2026-07-03T08:47:49.700607Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.02333","last_updated":"2026-07-02T15:37:54Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-01T02:53:20.052715Z","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming"},"reference_resolution":{"displayed":80,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":28,"verified_fuzzy":51},"total_outbound_references":80},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 80 of 80 outbound references and 0 inbound Pith citation observations for arXiv:2607.02333."}