Paper Citation Record · LEDGER

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback

As of 19 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 5 inbound Pith citation observations for arXiv:2507.18755.

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

pith.paper-citation-record.v1
2507.18755 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T14:37:18.328704Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T11:39:30.944010Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T17:11:08.105528Z

Reference resolution

36 of 36 outbound references displayed

verified exact0
verified fuzzy11
unresolved25
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6adf8d06-7597-4fc6-92fe-3805743b1e89 · outbound

This paper cites Fixminer: Mining relevant fix patterns for automated program repair,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Fixminer: Mining relevant fix patterns for automated program repair,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.223622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e25dc2d-cb46-4de8-94da-cec5fc7caa6d · outbound

This paper cites A Survey on Automated Program Repair Techniques.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback A Survey on Automated Program Repair Techniques

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.260411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d26fa7a2-ac4e-46d7-b7ff-8a388d0907a9 · outbound

This paper cites Automated program repair,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Automated program repair,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:22.134827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b0ab93cf-aa9d-4224-9bcb-8368c172b50f · outbound

This paper cites A systematic literature review on large language models for automated program repair,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback A systematic literature review on large language models for automated program repair,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.380360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d5a8bb3-a0e6-440a-b80b-a639b8721f5d · outbound

This paper cites Enhancing automated program repair with deductive verification,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Enhancing automated program repair with deductive verification,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:21.794826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 43b901b5-35fb-4d01-b76b-d71b331bd956 · outbound

This paper cites Automatic program repair using formal verification and expression templates,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Automatic program repair using formal verification and expression templates,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:21.421274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d0419255-a05b-470d-bac6-6c07df42180a · outbound

This paper cites Frenkel, O.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Frenkel, O

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.430814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8bc3b4d-23db-4242-8202-64dfc8e2f083 · outbound

This paper cites Agentic Bug Reproduction for Effective Automated Program Repair at Google.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Agentic Bug Reproduction for Effective Automated Program Repair at Google

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.474861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5ceff51-7315-4390-8cf5-41088c3afb04 · outbound

This paper cites Orca: Differential bug localization in Large-Scale services,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Orca: Differential bug localization in Large-Scale services,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.978332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 81706946-c6de-4f0b-9300-818ceedacf94 · outbound

This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback ReAct: Synergizing Reasoning and Acting in Language Models

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.508635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c81771d0-3c9b-4c31-965b-34c3c6477474 · outbound

This paper cites Evaluating Agent-based Program Repair at Google.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Evaluating Agent-based Program Repair at Google

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.535332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9d13d23-cbba-440c-99b7-89ad7e445bd7 · outbound

This paper cites How do you test your tests?.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback How do you test your tests?

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.873936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0a0226cb-346e-4ebd-91cb-e17ba3c22ae4 · outbound

This paper cites Neurosymbolic repair for low-code formula languages,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Neurosymbolic repair for low-code formula languages,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.594788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dad8418-66b9-48eb-b7ed-4c0c142c967e · outbound

This paper cites Ai-assisted code authoring at scale: Fine-tuning, deploying, and mixed methods evaluation,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Ai-assisted code authoring at scale: Fine-tuning, deploying, and mixed methods evaluation,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.654817Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea44dbb4-e5a3-4ce7-a130-5a8c03f7738a · outbound

This paper cites Multi-line ai-assisted code authoring,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Multi-line ai-assisted code authoring,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.705277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c19efc96-2226-4dbc-990a-2932e6ef22f2 · outbound

This paper cites Ai- assisted sql authoring at industry scale,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Ai- assisted sql authoring at industry scale,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.770026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 903915aa-dcd8-4d28-9bec-42f6a302f025 · outbound

This paper cites Large Language Monkeys: Scaling Inference Compute with Repeated Sampling.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Large Language Monkeys: Scaling Inference Compute with Repeated Sampling

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.834807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59f4985d-0f1f-46ff-9c3e-a10fe9dbee09 · outbound

This paper cites Building knowledge through families of experiments,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Building knowledge through families of experiments,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.668929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 565a3041-aee9-4925-9a6f-10dcf1d92de1 · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.940902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4a03497-fd69-4d1e-92d3-33318c853e54 · outbound

This paper cites an unresolved cited work.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-06T14:37:20.580086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8c184364-4192-4fec-be4c-8daa8cc69b8c · outbound

This paper cites SWE-smith: Scaling Data for Software Engineering Agents.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback SWE-smith: Scaling Data for Software Engineering Agents

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.007825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd9d2bfb-4a80-4a29-bbdf-71c3e068033b · outbound

This paper cites SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software Engineering?.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software Engineering?

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.064509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb925412-4679-40de-8abc-7b7b5002bd71 · outbound

This paper cites From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.100536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b6e187f-3ffb-45be-b481-576bdbc7607b · outbound

This paper cites RepairAgent: An Autonomous, LLM-Based Agent for Program Repair.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback RepairAgent: An Autonomous, LLM-Based Agent for Program Repair

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.114793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dde2daf4-e1c7-48f9-8613-07d4631bae82 · outbound

This paper cites AutoCodeRover: Autonomous Program Improvement.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback AutoCodeRover: Autonomous Program Improvement

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.144422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2048352-c25c-4616-b1d6-2cf428f888cc · outbound

This paper cites SpecRover: Code Intent Extraction via LLMs.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback SpecRover: Code Intent Extraction via LLMs

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.194871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 304de018-8da1-40cd-90ad-9dfe95a2661e · outbound

This paper cites CodeR: Issue Resolving with Multi-Agent and Task Graphs.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback CodeR: Issue Resolving with Multi-Agent and Task Graphs

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.214744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b278d2b-6d12-4288-acdc-5eea57baa779 · outbound

This paper cites MarsCode Agent: AI-native Automated Bug Fixing.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback MarsCode Agent: AI-native Automated Bug Fixing

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.233741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a3c2324-a539-4a0d-bc20-b7a54bdc1a07 · outbound

This paper cites OpenHands: An Open Platform for AI Software Developers as Generalist Agents.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback OpenHands: An Open Platform for AI Software Developers as Generalist Agents

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.254921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e70113af-f017-4dcc-acf6-f0d7f33db22c · outbound

This paper cites SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.267177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 462e7c6b-1908-4fa9-9220-0c0cc2b9b02a · outbound

This paper cites Automated program repair in the era of large pre-trained language models,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Automated program repair in the era of large pre-trained language models,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.500660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 24cb3523-1214-4339-af89-f44a3e7be737 · outbound

This paper cites Less training, more repairing please: revisiting automated program repair via zero-shot learning,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Less training, more repairing please: revisiting automated program repair via zero-shot learning,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.427554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8c770551-3332-4afd-b921-aebf88db4201 · outbound

This paper cites The plas- tic surgery hypothesis,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback The plas- tic surgery hypothesis,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.367621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7b9f1d68-f502-43b5-934a-7bd31b5b9753 · outbound

This paper cites Automated program repair via conversa- tion: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT,.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Automated program repair via conversa- tion: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:37:20.326415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2ba51c94-fc4b-44dd-870d-c1adff1f82c3 · outbound

This paper cites Agentless: Demystifying LLM-based Software Engineering Agents.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Agentless: Demystifying LLM-based Software Engineering Agents

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:18.328704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 008c4f4d-b951-466d-a8ee-0494b631d756 · outbound

This paper cites Available: https://doi.org/10.1145/3318162.

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback Available: https://doi.org/10.1145/3318162

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-06T14:37:17.339485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 12331d27-a841-4dc9-a069-099c5012e59c · inbound

LLM-Based Automated Diagnosis Of Integration Test Failures At Google cites this paper.

LLM-Based Automated Diagnosis Of Integration Test Failures At Google Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-11T10:16:05.398752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3ab29d59-151e-40d1-8717-274ef751a34f · inbound

Hallucination Inspector: A Fact-Checking Judge for API Migration cites this paper.

Hallucination Inspector: A Fact-Checking Judge for API Migration Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-10T00:54:48.694178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 103f4fb9-b184-47aa-8f5a-c425d233c419 · inbound

AuditRepairBench: A Paired-Execution Trace Corpus for Evaluator-Channel Ranking Instability in Agent Repair cites this paper.

AuditRepairBench: A Paired-Execution Trace Corpus for Evaluator-Channel Ranking Instability in Agent Repair Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback

Reference 50

Resolution: verified exact; arxiv_id, observed 2026-05-11T17:11:08.155179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 33e6f7f2-80fb-44e4-8b31-42b0984dcf42 · inbound

AuditRepairBench: A Paired-Execution Trace Corpus for Evaluator-Channel Ranking Instability in Agent Repair cites this paper.

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T14:53:54.661016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e770a5c1-d16d-4899-ac39-4d995d6f96f1 · inbound

Reasoning from Traces: Divergence-Guided Agentic Repair of WebAssembly Discrepancies cites this paper.

Reasoning from Traces: Divergence-Guided Agentic Repair of WebAssembly Discrepancies Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-08T11:39:30.944010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.