Paper Citation Record · LEDGER

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

As of 9 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 9 inbound Pith citation observations for arXiv:2502.02747.

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

pith.paper-citation-record.v1
2502.02747 v2

Coverage vector

measured 57 of 57 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T11:21:17.477311Z

measured 66 of 66 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 9 of 9 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T21:14:05.999890Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-19T23:07:51.160384Z

Reference resolution

57 of 57 outbound references displayed

verified exact1
verified fuzzy29
unresolved27
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 89eec078-8e72-411b-b5a0-49b6cba410d4 · outbound

This paper cites write newline.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.216243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47c24c4e-98e6-45a0-a8e2-95b3098c1f35 · outbound

This paper cites GPT-4 Technical Report.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification GPT-4 Technical Report

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.222687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f540bb7-d020-4cca-a400-c3a119a68c4c · outbound

This paper cites and Devanbu, P.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification and Devanbu, P

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.550134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1de59168-e960-479c-b3ed-f6b006954466 · outbound

This paper cites Aider, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Aider, 2024

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.536573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation df40cc99-9917-4a10-a198-aa97cb706472 · outbound

This paper cites Amazon q, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Amazon q, 2024

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.522151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d605c6ba-3e03-4f35-a79e-d925916d7788 · outbound

This paper cites Claude family, 2023.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Claude family, 2023

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.508082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b39de481-a710-49b9-9978-886f4199d880 · outbound

This paper cites Raising the bar on swe-bench verified with claude 3.5 sonnet, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Raising the bar on swe-bench verified with claude 3.5 sonnet, 2024

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.493848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7d1a01ec-0260-4ffa-b229-d154e8979eb9 · outbound

This paper cites Introducing the next generation of Claude.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Introducing the next generation of Claude

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.479378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9a45eaaf-9a5e-4593-be7f-c279755ce0ce · outbound

This paper cites SWE-Search: Enhancing Software Agents with Monte Carlo Tree Search and Iterative Refinement.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification SWE-Search: Enhancing Software Agents with Monte Carlo Tree Search and Iterative Refinement

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.257076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70456649-a2ea-4cca-8c85-ccb2107b4037 · outbound

This paper cites MASAI: Modular Architecture for Software-engineering AI Agents.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification MASAI: Modular Architecture for Software-engineering AI Agents

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.261852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4e96ffe-45dc-4c59-9b8b-700964e7e79b · outbound

This paper cites Coder, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Coder, 2024

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.464985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9eeb90b6-7601-43cc-826c-6c5f60bbe165 · outbound

This paper cites Codestory midwit agent, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Codestory midwit agent, 2024

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.449813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 00dd90b5-1c60-40c6-bbcf-5e7c6696de89 · outbound

This paper cites Composio swe-kit, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Composio swe-kit, 2024

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.431701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b19fe9c2-1407-4b7f-8e32-b245cb271c15 · outbound

This paper cites Fast ML Inference, Simple API.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Fast ML Inference, Simple API

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.411723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1d22a610-524f-4fa1-abb5-82e8b8968edc · outbound

This paper cites Deepseek-r1 release, 2025.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Deepseek-r1 release, 2025

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.391099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0abb1753-01f4-4dd3-85ba-f2f9ca95f33f · outbound

This paper cites devlo, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification devlo, 2024

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.374311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b0e2f9f8-5e3f-424b-890a-bd4a83805408 · outbound

This paper cites Program synthesis using conflict-driven learning.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Program synthesis using conflict-driven learning

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.356591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e750b1c9-827a-45f6-baab-194cd61bdae4 · outbound

This paper cites The fastest and most efficient inference engine to build production-ready, compound AI systems.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification The fastest and most efficient inference engine to build production-ready, compound AI systems

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.338737Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 55cf5d58-fc06-40d5-9eda-2b771c49b4e8 · outbound

This paper cites Automatic software repair: A survey.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Automatic software repair: A survey

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.321638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cb759659-6ea3-46ce-a086-8709c5d47140 · outbound

This paper cites Text-to-Audio Generation using Instruction-Tuned LLM and Latent Diffusion Model.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Text-to-Audio Generation using Instruction-Tuned LLM and Latent Diffusion Model

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.307566Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34aca49a-c02e-468f-8618-9323267a4961 · outbound

This paper cites Globant code fixer agent, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Globant code fixer agent, 2024

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.304419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 656ed949-37d5-4994-970a-f9f359087df3 · outbound

This paper cites gru, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification gru, 2024

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.287666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c32a9cfe-9105-4443-86d2-dd0bc5c73e22 · outbound

This paper cites Audiogpt: Understanding and generating speech, music, sound, and talking head.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Audiogpt: Understanding and generating speech, music, sound, and talking head

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.320910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2405a0cb-05a4-40aa-9d08-90412120acc2 · outbound

This paper cites Using safety properties to generate vulnerability patches.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Using safety properties to generate vulnerability patches

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.257923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2acee472-dfa7-4201-9770-ecc75dfac38d · outbound

This paper cites Ibm research swe-1.0, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Ibm research swe-1.0, 2024

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.241450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7d94a61a-27c9-444d-adf5-683ee5d05f73 · outbound

This paper cites Cure: Code-aware neural machine translation for automatic program repair.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Cure: Code-aware neural machine translation for automatic program repair

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.220293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 46d9cbb1-1d53-4a35-9d78-81db58c147c8 · outbound

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

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.339077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7990405a-a1ee-4732-952c-c72a68cd9fe0 · outbound

This paper cites Automatic program repair.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Automatic program repair

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.205530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6a78aed1-941c-471f-a5b4-6af19b4ed061 · outbound

This paper cites LLM-grounded Video Diffusion Models.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification LLM-grounded Video Diffusion Models

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.348606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89399b23-435f-4f10-b8b6-4c8c6e4ef95c · outbound

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

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification MarsCode Agent: AI-native Automated Bug Fixing

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.353403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4eda3c2f-cacc-48da-8981-5c83fb0e7dfa · outbound

This paper cites Lingma SWE-GPT: An Open Development-Process-Centric Language Model for Automated Software Improvement.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Lingma SWE-GPT: An Open Development-Process-Centric Language Model for Automated Software Improvement

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.357957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84362c27-24d4-4f43-8db3-3bbddfb34a02 · outbound

This paper cites moatless, 2024.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification moatless, 2024

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.191247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f8060fc6-4f6a-442a-afd9-440d078136b5 · outbound

This paper cites Automatic software repair: A bibliography.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Automatic software repair: A bibliography

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.366952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a51f48b5-46d3-4257-b3ca-8d41e8bde37f · outbound

This paper cites Hello gpt-4o, 2024 a.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Hello gpt-4o, 2024 a

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.167989Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 58c65a27-040f-405d-a2c8-3b663a9e75e1 · outbound

This paper cites Announcement of openai o3, 2024 b.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Announcement of openai o3, 2024 b

Reference 35

Resolution: verified exact; raw_fallback, observed 2026-08-09T11:21:17.896150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 73630733-f42c-4310-ad8f-1a27c50c7b9e · outbound

This paper cites Learning to reason with LLMs.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Learning to reason with LLMs

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.153976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 137860d8-537f-4ded-a0ba-03527149111c · outbound

This paper cites RepoGraph: Enhancing AI Software Engineering with Repository-level Code Graph.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification RepoGraph: Enhancing AI Software Engineering with Repository-level Code Graph

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.384694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 420fffcc-0c6a-48c0-907e-a7c22d5e3d87 · outbound

This paper cites Scikit-learn: Machine learning in python.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Scikit-learn: Machine learning in python

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.389443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be11cb0b-b6dc-4bae-bcab-f42e2dcd2589 · outbound

This paper cites E., PourNejatian, N., Costa, A.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification E., PourNejatian, N., Costa, A

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.130487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dc4ec8b6-7ff0-4c9b-8525-b1600f1d9bb6 · outbound

This paper cites Code Llama: Open Foundation Models for Code.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Code Llama: Open Foundation Models for Code

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.398403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 474cbf7b-b174-4e53-966f-ea7ca42c5053 · outbound

This paper cites SpecRover: Code Intent Extraction via LLMs.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification SpecRover: Code Intent Extraction via LLMs

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.402967Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07420a5e-2a3e-4593-b2a3-011a5b704502 · outbound

This paper cites Reflexion: Language agents with verbal reinforcement learning.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Reflexion: Language agents with verbal reinforcement learning

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.407808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 523125d8-6d72-4177-a6df-b60b9b908b59 · outbound

This paper cites Swe-bench-lite leaderboard, 2023 a.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Swe-bench-lite leaderboard, 2023 a

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.107412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7f2b985d-d5bb-451c-8f00-b087c0cc2ce4 · outbound

This paper cites Swe-bench-verified leaderboard, 2023 b.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Swe-bench-verified leaderboard, 2023 b

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.092218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6598b7c9-0fc4-4e97-9fd1-044f90a39cac · outbound

This paper cites MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.421566Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93298c4a-8a7f-486e-82d6-3b5453eadfd1 · outbound

This paper cites Gemini: A Family of Highly Capable Multimodal Models.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Gemini: A Family of Highly Capable Multimodal Models

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.426464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4ed422e-794e-4ec6-bc84-6d36ce7019db · outbound

This paper cites The AI Acceleration AccelerationCloud.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification The AI Acceleration AccelerationCloud

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.077534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2b4ce773-fedd-4069-ad5b-4ad2e96447c8 · outbound

This paper cites an unresolved cited work.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-09T11:21:18.062318Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9e63fe8e-4990-4c63-a039-a30729d92c26 · outbound

This paper cites Executable Code Actions Elicit Better LLM Agents.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Executable Code Actions Elicit Better LLM Agents

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.440066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef808c29-221e-4582-ac99-4e4a92474b15 · outbound

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

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification OpenHands: An Open Platform for AI Software Developers as Generalist Agents

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.444550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d49670a9-f71e-45b8-af68-656dc0cfd503 · outbound

This paper cites V., Zhou, D., et al.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification V., Zhou, D., et al

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.449698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31868232-ad51-4a4e-b2f1-494b8fc842b1 · outbound

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

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Agentless: Demystifying LLM-based Software Engineering Agents

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.454490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9685f995-5df9-4c41-8041-b23a4b5a9a3a · outbound

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

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.459271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 505e5ee6-25c6-4865-9b88-5303b856dbdd · outbound

This paper cites Buffer of Thoughts: Thought-Augmented Reasoning with Large Language Models.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Buffer of Thoughts: Thought-Augmented Reasoning with Large Language Models

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.464222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29cb7498-30cc-4164-be0b-e870e25cb566 · outbound

This paper cites Tree of thoughts: Deliberate problem solving with large language models.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Tree of thoughts: Deliberate problem solving with large language models

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.468682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 619bbcc1-e342-4124-a8cd-2923f758e92c · outbound

This paper cites Autocoderover: Autonomous program improvement.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification Autocoderover: Autonomous program improvement

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T11:21:18.030876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dcf07e93-c634-401a-b488-7a077f610570 · outbound

This paper cites DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-09T11:21:17.477311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 57a609ad-7ea0-4894-ab72-690c111b1869 · inbound

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair cites this paper.

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-05-19T10:12:14.569491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 690e6952-9764-4afe-9356-db71c912281a · inbound

One Tool Is Enough: Reinforcement Learning for Repository-Level LLM Agents cites this paper.

One Tool Is Enough: Reinforcement Learning for Repository-Level LLM Agents PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 2000

Resolution: unresolved; no resolver link, observed 2026-08-03T14:20:31.256049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 901e2f40-084f-41bf-ba21-8782d41ebf12 · inbound

Bias in the Loop: Auditing LLM-as-a-Judge for Software Engineering cites this paper.

Bias in the Loop: Auditing LLM-as-a-Judge for Software Engineering PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-10T07:32:00.317842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 803db083-3106-4ce6-8e96-0336fe87722d · inbound

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis cites this paper.

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-11T22:06:30.536140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e3d72b83-0560-4bfe-b785-48c0c43fbd6b · inbound

MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair cites this paper.

MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-19T23:07:51.162098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1fe1483f-f272-4b4a-a789-2d04992c63f8 · inbound

Malaika: Understanding Malware through Tri-Grounded Agentic Reasoning cites this paper.

Malaika: Understanding Malware through Tri-Grounded Agentic Reasoning PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-13T04:53:04.033865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6aaf9e4b-ad4d-4e19-bcd2-6d185ac54f55 · inbound

FirmPilot: Evidence-Guided Multi-Agent Environment Recovery for IoT Firmware Rehosting cites this paper.

FirmPilot: Evidence-Guided Multi-Agent Environment Recovery for IoT Firmware Rehosting PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T00:47:28.223162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb6c30b8-e28e-4318-9ed7-71e873fc41f4 · inbound

IssueExec: A Test-Driven Approach for Localizing Software Engineering Issues cites this paper.

IssueExec: A Test-Driven Approach for Localizing Software Engineering Issues PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T18:36:14.764792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c1282ec-0ec2-4234-b83e-362b0882c116 · inbound

Escaping the Self-Repair Trap: Improving Test Oracle Generation via Dual-Context Awareness cites this paper.

Escaping the Self-Repair Trap: Improving Test Oracle Generation via Dual-Context Awareness PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T21:14:05.999890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.