Paper Citation Record · LEDGER

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.28928 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T17:03:49.086521Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact0
verified fuzzy0
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1b56641e-938e-430d-8f53-1c32cf02325a · outbound

This paper cites A survey of compiler testing,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent A survey of compiler testing,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:44.840561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c180e83-a459-4b61-8faf-1ba7c0795088 · outbound

This paper cites Random testing for C and C++ compilers with yarpgen,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Random testing for C and C++ compilers with yarpgen,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:44.972409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e1336ce-9998-4d04-9f9d-fbb1981479f2 · outbound

This paper cites Finding and understanding bugs in C compilers,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Finding and understanding bugs in C compilers,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:45.184902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8aeec7f-116c-45df-92a1-17c392eb45e6 · outbound

This paper cites Compiler validation via equivalence mod- ulo inputs,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Compiler validation via equivalence mod- ulo inputs,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:45.350282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c326d931-bf6a-48e5-87a3-c08f784dd183 · outbound

This paper cites Finding deep compiler bugs via guided stochastic program mutation,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Finding deep compiler bugs via guided stochastic program mutation,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:45.509623Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1816a8d-72fe-4158-a725-5ced1e091f24 · outbound

This paper cites Finding compiler bugs via live code mutation,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Finding compiler bugs via live code mutation,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:45.630459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f76e78ec-de0d-4312-b669-0ee08d0b0e67 · outbound

This paper cites Crellvm: Verified credible compilation for LLVM,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Crellvm: Verified credible compilation for LLVM,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:45.832718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ee844d6-6e73-4128-9959-9b2c2cc28414 · outbound

This paper cites Alive2: bounded translation validation for LLVM,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Alive2: bounded translation validation for LLVM,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:45.988500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2e95220-67f7-4d7c-a2e4-5b02e215fda7 · outbound

This paper cites A formally verified compiler back-end,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent A formally verified compiler back-end,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:46.116312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f59caff-414f-4ad3-97fc-32f33bcd1b0b · outbound

This paper cites an unresolved cited work.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:46.238502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6969913-b81f-4f5c-be3b-2fc51e9c889e · outbound

This paper cites The verified CakeML compiler backend,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent The verified CakeML compiler backend,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:46.336084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baab225c-64c9-4661-a98b-1fc3e1556ede · outbound

This paper cites Credible compilation,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Credible compilation,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:46.472545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 498dd666-4d56-49cb-afd2-ddc1ee1533b6 · outbound

This paper cites Credible compilation with pointers,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Credible compilation with pointers,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:46.609888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28651942-4f81-46e0-8cde-c35cba760092 · outbound

This paper cites Credible compilation,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Credible compilation,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:46.734925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fc1d43b-fc46-4000-8c90-e7b50881f8e0 · outbound

This paper cites VOC: A translation validator for optimizing compilers,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent VOC: A translation validator for optimizing compilers,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:46.887952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 522099a2-3d52-4ca1-8221-69796f498fc7 · outbound

This paper cites Validating optimizing compilers,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Validating optimizing compilers,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:47.065118Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87225220-16af-4291-8b38-8c8031a42670 · outbound

This paper cites Testing, credible compilation, and verification in the axon verified compiler in lean and claude code,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Testing, credible compilation, and verification in the axon verified compiler in lean and claude code,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:47.211293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5efd4a3-67e7-4c53-923f-12f8d64ff981 · outbound

This paper cites The Livermore Fortran Kernels: A computer test of the numerical performance range,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent The Livermore Fortran Kernels: A computer test of the numerical performance range,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:47.303416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5eb9daa-19f0-41e1-8ea6-02c1dc52a707 · outbound

This paper cites Investigating Test Overfitting on SWE-bench.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Investigating Test Overfitting on SWE-bench

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:47.442858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afe58b0d-296f-4a07-b07c-3181f89ad0de · outbound

This paper cites Impossiblebench: Measuring llms’ propensity of exploiting test cases,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Impossiblebench: Measuring llms’ propensity of exploiting test cases,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:47.533842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13bce1e0-6432-46a5-9293-268df1d86e5f · outbound

This paper cites Reward Hacking Benchmark: Measuring Exploits in LLM Agents with Tool Use.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Reward Hacking Benchmark: Measuring Exploits in LLM Agents with Tool Use

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:47.651577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48301e04-900e-48af-ac8d-0ef9cc70264c · outbound

This paper cites The trusted computing base of the compcert verified compiler,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent The trusted computing base of the compcert verified compiler,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:47.844827Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fec487f6-444e-46f9-acf6-6f3727d59b1c · outbound

This paper cites Testing a formally verified compiler,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Testing a formally verified compiler,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.003335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b135962-2909-4e4f-b06e-3112ef4fd576 · outbound

This paper cites Skeletal program enumeration for rigorous compiler testing,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Skeletal program enumeration for rigorous compiler testing,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.159962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d6a612b-c16c-4080-b272-dc4252c1f7bb · outbound

This paper cites Formal verification of a realistic compiler,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Formal verification of a realistic compiler,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.318902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a76f6af3-a087-46eb-84c8-5cd2310ad7d4 · outbound

This paper cites Repairagent: An au- tonomous, llm-based agent for program repair,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Repairagent: An au- tonomous, llm-based agent for program repair,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.468122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da155b93-8f6d-4a8f-8f63-d442c0ca84e4 · outbound

This paper cites Autocoderover: Autonomous program improvement,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Autocoderover: Autonomous program improvement,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.536494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce3983d0-ae31-4469-b970-2d0bff457e30 · outbound

This paper cites Demystifying llm-based software engineering agents,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Demystifying llm-based software engineering agents,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.626749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbbd83f3-0e1b-49ce-a3e9-7ffac338e65f · outbound

This paper cites The living review on automated program repair,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent The living review on automated program repair,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.749469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26d463ff-1aaa-4c35-a011-57e6dc5aa532 · outbound

This paper cites Adapting proof automation to adapt proofs,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Adapting proof automation to adapt proofs,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.862397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29edfdf7-6297-4614-8d4e-2ad57606036a · outbound

This paper cites Baldur: Whole-proof generation and repair with large language models,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Baldur: Whole-proof generation and repair with large language models,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:48.968679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 413b2051-d51f-4ef9-b9dd-36512ac8a98d · outbound

This paper cites Proof repair across quotient type equivalences,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Proof repair across quotient type equivalences,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:49.023858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16b84630-6a1f-4534-9899-e8641dceb427 · outbound

This paper cites Mostly automated proof repair for verified libraries,.

Automated Testing and Repair for Verified Compilers Generated by a Coding Agent Mostly automated proof repair for verified libraries,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T17:03:49.086521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.