{"as_of":"2026-08-12T06:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e5ab1b17758d422a859631b679d338d84a25e05719f8ff20dceed97bb764ae0b","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-12T06:34:41.77262+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-11T06:59:56.072783Z","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:3e56bc693ee0bf375d606b0592717017966d70231ab744843196b2d4b9472853","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-11T06:59:56.072783Z","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:1f0a4bc6914017608bad4042a23054125688d5f17bcc4224cc42c21d3d733b3e","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-11T06:59:56.072783Z","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:09608446ebcbf6b8b3129165dad407e2e6e87de2341992fdd99c95b78e452beb","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-11T06:59:56.072783Z","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:18d639c7b2b94de70127ac016bee34dc44b63e053bbec6c0530b61e9721c451b","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-11T06:59:56.072783Z","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:59159fe7ae0924bb180d88a72d74786279cce204f99b04e0ac53b5925cc550ee","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-11T06:59:56.072783Z","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:6e1881c0c110265b830b8cb8a58e78a2d9e3f411d8ea01340cee89c3efa31e60","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-11T06:59:56.072783Z","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:50bab2bc8a8a6a6df33aa83c0cbf152b00bff92c8c9ca9ab4c7bd2b3f738687d","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-11T06:59:56.072783Z","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:6d3f49cd4083fab4993d0153b40b9ec453e1c5aae03e29e0a568b2c2f4bace90","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-11T06:59:56.072783Z","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:503bc7a37483b47518304addf2d1ed71d21df6ee6326800339d8b1791e4c5939","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-11T06:59:56.072783Z","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:dc072f3423bdfda43a978b53044d30d2c3a44f49eb9daf0d6e1d1c0f9579811f","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-11T06:59:56.072783Z","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:2c28a46a3e83095e6a25cbc34cb8e199c322505dd8d5bb40321dbf7a7e56be77","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-11T06:59:56.072783Z","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:f1e0cd4516118c358fbaf49187da897ddf1b33e1ac545fa420cac21984dc16f7","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-11T06:59:56.072783Z","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:37c0b21b69ac2dc1c54ba9c1f910c6aba5a98c5befc47b66701a338f59fecb03","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-11T06:59:56.072783Z","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:50bcf57fcd9f6c681a8946d824931d4398e3475447c5f34f6796c9e3bbeddaad","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-11T06:59:56.072783Z","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:3a002da275839a1cd18e2a81e308f6105b57e4137d21498fe69b319d260575f3","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-11T06:59:56.072783Z","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:9b38cd86db6f36ea313550128e50d98286f5f33aef5956b9aa30bebd7f4bf2e1","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-11T06:59:56.072783Z","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:3dd55e326132f3d9b6839bb104ca7d6e7ea5737d011e7e9e7ddd5e9352a89113","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-11T06:59:56.072783Z","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:0fea11830d717fe84179cb1bd1489eac991a9293bf08eccd163e75de267d0db8","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-11T06:59:56.072783Z","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:24e96e627566e5c5bba102b0ad9bf9887ebe96c7897ad67760450fb25540104f","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-11T06:59:56.072783Z","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:0ffb2e6e1ce3e64016f2b88c386ae8f9ecfcae8a6f19ec94227c9f698475171b","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-11T14:49:40.876308Z","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-11T06:59:56.072783Z","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:3d601edfaa3af18d7c1e931a707c974c5222102e19ea9c6fb36a69bfc3750ff2","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-11T06:59:56.072783Z","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:523c53a52572481913009a3e16c1b775d2244ca39bf3a46fb9973672b8e54eb9","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-11T06:59:56.072783Z","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:701137cb9d175234f754e531638df5a6e2e1b14fcccbe8802b8076d791f4abd5","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-11T06:59:56.072783Z","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:79200fbe8ef6686fe4e02fb2d2e5ba2fa4a6c13aff7c8b91c0e813905a401319","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-11T06:59:56.072783Z","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:097887ecf1475beded3eb7480e9b440985dadd502733d1a8fbf2a7f6fa150981","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-11T06:59:56.072783Z","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:798e9db39ef2e5e1e165bfba95976051abd24cc7454335e67b701c195a7d0b1b","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-11T06:59:56.072783Z","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:4416a5eb39dc1dacfadc84ba057b68cdfcee4e5d76623369787e2c94784b2ff9","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-11T06:59:56.072783Z","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:84c6fd81b46bd336d5f13736ec09cfa17652a87e91a5b00205584d8c68b8ca39","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-11T06:59:56.072783Z","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:dad59fc65939611f66def1a8139b8a7b86e902b1e3b769ed758b09e1e1310bb0","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-11T06:59:56.072783Z","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:139e9d6ab9a4eb6fb0e57a9423efe3b0e0f66b3e0b97bd39e5011e7f320e273a","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-11T06:59:56.072783Z","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:3c60f493ec96a8062a4ebff5e2a68f55b39af2f22e22ebd3ac21b7518c2baa8f","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-11T06:59:56.072783Z","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:2b2c67e470f86f6f9cc6a41de2668e0407321876226aac0a94cc7208a7cf122c","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-11T06:59:56.072783Z","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:e1c867a38ccbc2b595aef4ddcf40a5be9bd40c6e608bb629e0bb1e1232cea161","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-11T06:59:56.072783Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2607.28928."}