{"as_of":"2026-08-11T03:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f6b1c07047910507170fe94d91e159dc425fa0ae09c4bf77849d3f9cd758f718","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T17:03:49.086521Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.28928/citation-record","integrity":"/paper/2607.28928/integrity","json":"/paper/2607.28928/citation-record.json","paper":"/paper/2607.28928"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:44.840561Z","title":"A survey of compiler testing,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:44.840561Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:74a6ef767c4a562c087d7ecbfa7430d819d222d7ac4bc2553d1391156586601e","observation_id":"1b56641e-938e-430d-8f53-1c32cf02325a","resolution":{"observed_at":"2026-08-03T17:03:44.840561Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:44.972409Z","title":"Random testing for C and C++ compilers with yarpgen,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:44.972409Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:b40dd325fb5728acc2c5c75ab562ebbf3fc02d73d0c3f228c02d430e7d3b3d67","observation_id":"1c180e83-a459-4b61-8faf-1ba7c0795088","resolution":{"observed_at":"2026-08-03T17:03:44.972409Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:45.184902Z","title":"Finding and understanding bugs in C compilers,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:45.184902Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:a5db6e7f41e028ff314fe4e41aad928f5178a0e19f579cb5a6e0f9eb857ed119","observation_id":"6e1336ce-9998-4d04-9f9d-fbb1981479f2","resolution":{"observed_at":"2026-08-03T17:03:45.184902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:45.350282Z","title":"Compiler validation via equivalence mod- ulo inputs,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:45.350282Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:15c1085be860706faa5d0ede93fdc103908a83a35630cf56501156423a6196f7","observation_id":"c8aeec7f-116c-45df-92a1-17c392eb45e6","resolution":{"observed_at":"2026-08-03T17:03:45.350282Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:45.509623Z","title":"Finding deep compiler bugs via guided stochastic program mutation,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:45.509623Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:9fdeb8470b342d55966bcbd612b6168840384eff644d1e314221cdff3430c2de","observation_id":"c326d931-bf6a-48e5-87a3-c08f784dd183","resolution":{"observed_at":"2026-08-03T17:03:45.509623Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:45.630459Z","title":"Finding compiler bugs via live code mutation,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:45.630459Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:5af6900cea7c2c65c0fc0ccb75090214beea80494d72c74830435f3d14556255","observation_id":"f1816a8d-72fe-4158-a725-5ced1e091f24","resolution":{"observed_at":"2026-08-03T17:03:45.630459Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:45.832718Z","title":"Crellvm: Verified credible compilation for LLVM,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:45.832718Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:16f7c8711167ae966aa221a823be0e15bf2eaedf4cf58156a215c1f58800f054","observation_id":"f76e78ec-de0d-4312-b669-0ee08d0b0e67","resolution":{"observed_at":"2026-08-03T17:03:45.832718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:45.988500Z","title":"Alive2: bounded translation validation for LLVM,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:45.988500Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:acfd16104188d5af1c83d1c9bead1f3de140a771e97c9bc98380965202e80350","observation_id":"1ee844d6-6e73-4128-9959-9b2c2cc28414","resolution":{"observed_at":"2026-08-03T17:03:45.988500Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:46.116312Z","title":"A formally verified compiler back-end,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:46.116312Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:7988175d63b98b8d041b04cc56deeaf91ee6b01d40fbeae329cddb38a135abb7","observation_id":"e2e95220-67f7-4d7c-a2e4-5b02e215fda7","resolution":{"observed_at":"2026-08-03T17:03:46.116312Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:46.238502Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:46.238502Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:3eb7ea9fb01bc42e1c3fbf5687c82c8b4cf0b9f520fd639d343ed91c7ebb7fe9","observation_id":"9f59caff-414f-4ad3-97fc-32f33bcd1b0b","resolution":{"observed_at":"2026-08-03T17:03:46.238502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:46.336084Z","title":"The verified CakeML compiler backend,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:46.336084Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:cc0883f0fb136dedda9e7910af86b149b2245f0cd73770632e28bb2d2da9a10e","observation_id":"d6969913-b81f-4f5c-be3b-2fc51e9c889e","resolution":{"observed_at":"2026-08-03T17:03:46.336084Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:46.472545Z","title":"Credible compilation,","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:46.472545Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:b3eca04875c8e1dd96b252ee9df305c0574df551ccde424bd173651e2b3232f2","observation_id":"baab225c-64c9-4661-a98b-1fc3e1556ede","resolution":{"observed_at":"2026-08-03T17:03:46.472545Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:46.609888Z","title":"Credible compilation with pointers,","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:46.609888Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:e1c74f94859b172ca21ac07dcccac24f956c49a82d33b983571c17cd251569ce","observation_id":"498dd666-4d56-49cb-afd2-ddc1ee1533b6","resolution":{"observed_at":"2026-08-03T17:03:46.609888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:46.734925Z","title":"Credible compilation,","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:46.734925Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:577cc2151a19ca3de36c8c793f223f5a391650828b66d6a83e3f9e68a723292d","observation_id":"28651942-4f81-46e0-8cde-c35cba760092","resolution":{"observed_at":"2026-08-03T17:03:46.734925Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:46.887952Z","title":"VOC: A translation validator for optimizing compilers,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:46.887952Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:aa1f41780ccc404baffb03ce5259d65c11faf69e8a6427791e437fa2591d3837","observation_id":"7fc1d43b-fc46-4000-8c90-e7b50881f8e0","resolution":{"observed_at":"2026-08-03T17:03:46.887952Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:47.065118Z","title":"Validating optimizing compilers,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:47.065118Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:ddd4c5265c6af2c35f10865f6141ddc783896eb3aba7474fe998e5bba49021cc","observation_id":"522099a2-3d52-4ca1-8221-69796f498fc7","resolution":{"observed_at":"2026-08-03T17:03:47.065118Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:47.211293Z","title":"Testing, credible compilation, and verification in the axon verified compiler in lean and claude code,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:47.211293Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:86b3add61e18478f7762a93bd851e0041f510aeb10ca2f1b15c102a0229c22e7","observation_id":"87225220-16af-4291-8b38-8c8031a42670","resolution":{"observed_at":"2026-08-03T17:03:47.211293Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:47.303416Z","title":"The Livermore Fortran Kernels: A computer test of the numerical performance range,","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:47.303416Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:4eb05f71a4ee424252c99db4f22c44e244e361b63f91ab0559038c827316023b","observation_id":"d5efd4a3-67e7-4c53-923f-12f8d64ff981","resolution":{"observed_at":"2026-08-03T17:03:47.303416Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.16858","last_updated":"2026-04-03T16:15:46Z","snapshot_observed_at":"2026-07-06T22:36:35.545474Z","submitted_at":"2025-11-20T23:55:56Z","title":"Investigating Test Overfitting on SWE-bench","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2511.16858","snapshot_observed_at":"2026-08-03T17:03:47.442858Z","title":"Is the cure still worse than the disease? test overfitting by llms in automated program repair,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:47.442858Z"},"links":{"cited_paper":"/paper/2511.16858","citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:b6d133996178155004a4ae4932c072c7be91c8529fc24aa103cbc2afc0f8dc73","observation_id":"d5eb9daa-19f0-41e1-8ea6-02c1dc52a707","resolution":{"observed_at":"2026-08-03T17:03:47.442858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:47.533842Z","title":"Impossiblebench: Measuring llms’ propensity of exploiting test cases,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:47.533842Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:efc24a7d3040482269c3ba3959009e4626d20cca03574665c37ab0ec00728d24","observation_id":"afe58b0d-296f-4a07-b07c-3181f89ad0de","resolution":{"observed_at":"2026-08-03T17:03:47.533842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.02964","last_updated":"2026-05-03T07:10:42Z","snapshot_observed_at":"2026-08-11T02:22:24.685927Z","submitted_at":"2026-05-03T07:10:42Z","title":"Reward Hacking Benchmark: Measuring Exploits in LLM Agents with Tool Use","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.02964","snapshot_observed_at":"2026-08-03T17:03:47.651577Z","title":"Reward hacking benchmark: Measuring exploits in LLM agents with tool use,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:47.651577Z"},"links":{"cited_paper":"/paper/2605.02964","citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:c52231ab7fd2878193dca0ec6bfd68db57e04351d89fbea4ef13fbbc73a798ca","observation_id":"13bce1e0-6432-46a5-9293-268df1d86e5f","resolution":{"observed_at":"2026-08-03T17:03:47.651577Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:47.844827Z","title":"The trusted computing base of the compcert verified compiler,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:47.844827Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:66730a053b84123ea4655857502d6ec8e18875908571928783bce9ba7866a764","observation_id":"48301e04-900e-48af-ac8d-0ef9cc70264c","resolution":{"observed_at":"2026-08-03T17:03:47.844827Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.003335Z","title":"Testing a formally verified compiler,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.003335Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:1ef8eb1c9aacc69bb56566dd5cdc49c71c559b8bb346a0122dd68503954999b9","observation_id":"fec487f6-444e-46f9-acf6-6f3727d59b1c","resolution":{"observed_at":"2026-08-03T17:03:48.003335Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.159962Z","title":"Skeletal program enumeration for rigorous compiler testing,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.159962Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:40e643146523139d9d259d356dd183448f6c8c12913414e1ac2c002551908911","observation_id":"7b135962-2909-4e4f-b06e-3112ef4fd576","resolution":{"observed_at":"2026-08-03T17:03:48.159962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.318902Z","title":"Formal verification of a realistic compiler,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.318902Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:31eb5028861b288eb59113e31b3c870dcf2d712b42268e113376523d3610f87e","observation_id":"0d6a612b-c16c-4080-b272-dc4252c1f7bb","resolution":{"observed_at":"2026-08-03T17:03:48.318902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.468122Z","title":"Repairagent: An au- tonomous, llm-based agent for program repair,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.468122Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:758afcb57ce59aa99ac8a2ba793908f9b9004e3059ae0a1181add068bdf049d5","observation_id":"a76f6af3-a087-46eb-84c8-5cd2310ad7d4","resolution":{"observed_at":"2026-08-03T17:03:48.468122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.536494Z","title":"Autocoderover: Autonomous program improvement,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.536494Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:46ff4b03286f19683c5545e3fd50bc62e086f3c1b479f816ae584242c72ce7a6","observation_id":"da155b93-8f6d-4a8f-8f63-d442c0ca84e4","resolution":{"observed_at":"2026-08-03T17:03:48.536494Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.626749Z","title":"Demystifying llm-based software engineering agents,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.626749Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:3c608401165a056c3cc04b248ddec949d8189b70f7d995df7b1f558a0639d3eb","observation_id":"ce3983d0-ae31-4469-b970-2d0bff457e30","resolution":{"observed_at":"2026-08-03T17:03:48.626749Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.749469Z","title":"The living review on automated program repair,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.749469Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:345947631a9b6808b4a86d2287752d00689cb6b0393da3b7ab7543b4b7ecb15c","observation_id":"cbbd83f3-0e1b-49ce-a3e9-7ffac338e65f","resolution":{"observed_at":"2026-08-03T17:03:48.749469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.862397Z","title":"Adapting proof automation to adapt proofs,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.862397Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:77fce1984b91cdb467e3cd45c5021af6e7952312c881d9681de16cf2f239ff14","observation_id":"26d463ff-1aaa-4c35-a011-57e6dc5aa532","resolution":{"observed_at":"2026-08-03T17:03:48.862397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:48.968679Z","title":"Baldur: Whole-proof generation and repair with large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:48.968679Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:01b8deb9dd03fd22e429d5aff4ed4289438c949884c4d2b5f8596519c739e641","observation_id":"29edfdf7-6297-4614-8d4e-2ad57606036a","resolution":{"observed_at":"2026-08-03T17:03:48.968679Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:49.023858Z","title":"Proof repair across quotient type equivalences,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:49.023858Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:956baecc2e92991a5bd62257a6c5f595ad4cb243113aa74463a54ad0372956b0","observation_id":"413b2051-d51f-4ef9-b9dd-36512ac8a98d","resolution":{"observed_at":"2026-08-03T17:03:49.023858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:03:49.086521Z","title":"Mostly automated proof repair for verified libraries,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T17:03:49.086521Z"},"links":{"citing_paper":"/paper/2607.28928"},"observation_digest":"sha256:98ae2aa8c7695908b8eb54a0bcc63c85255387387cc4edf6156223c935fa640a","observation_id":"16b84630-6a1f-4534-9899-e8641dceb427","resolution":{"observed_at":"2026-08-03T17:03:49.086521Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28928","last_updated":"2026-07-31T01:04:24Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T14:08:06.400044Z","submitted_at":"2026-07-31T01:04:24Z","title":"Automated Testing and Repair for Verified Compilers Generated by a Coding Agent"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":33,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":33},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2607.28928."}