Paper Citation Record · LEDGER

Treefix: Enabling Execution with a Tree of Prefixes

As of 12 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 2 inbound Pith citation observations for arXiv:2501.12339.

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

pith.paper-citation-record.v1
2501.12339 v2

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T17:19:34.956523Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-26T11:24:30.932755Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

46 of 46 outbound references displayed

verified exact1
verified fuzzy22
unresolved22
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 1a78be82-70fb-43fa-8808-1cb90eb98a53 · outbound

This paper cites Selfpico: Self- guided partial code execution with llms,.

Treefix: Enabling Execution with a Tree of Prefixes Selfpico: Self- guided partial code execution with llms,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.409502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 198602c6-ab9f-4a9c-80d2-953a58af45e5 · outbound

This paper cites Feedback-directed partial exe- cution,.

Treefix: Enabling Execution with a Tree of Prefixes Feedback-directed partial exe- cution,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.397583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6b4db454-890b-4129-8cde-de4c1dde48c4 · outbound

This paper cites ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution.

Treefix: Enabling Execution with a Tree of Prefixes ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.786921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70837a68-888f-4100-a65a-bdffcc6d7f12 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Treefix: Enabling Execution with a Tree of Prefixes Evaluating Large Language Models Trained on Code

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.791512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c1154cb-1508-499a-a47a-40276a600789 · outbound

This paper cites Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,.

Treefix: Enabling Execution with a Tree of Prefixes Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.385411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 31c41de7-435c-479a-a249-d04060b13eab · outbound

This paper cites Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing.

Treefix: Enabling Execution with a Tree of Prefixes Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.804425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c58ae571-b239-4eff-84a0-0c21d09b4f54 · outbound

This paper cites Grace: Language models meet code edits,.

Treefix: Enabling Execution with a Tree of Prefixes Grace: Language models meet code edits,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.808976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45e44cf5-7bd4-49f8-ae6f-8b6d8329d792 · outbound

This paper cites Unprecedented code change automation: The fusion of llms and transformation by example,.

Treefix: Enabling Execution with a Tree of Prefixes Unprecedented code change automation: The fusion of llms and transformation by example,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.812755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f15b5426-9502-4f0e-9455-0519955706da · outbound

This paper cites Type4py: practical deep similarity learning-based type inference for python,.

Treefix: Enabling Execution with a Tree of Prefixes Type4py: practical deep similarity learning-based type inference for python,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.816657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d62888cf-1225-40ac-9c04-e8fb9ca46f94 · outbound

This paper cites Automated unit test generation for python,.

Treefix: Enabling Execution with a Tree of Prefixes Automated unit test generation for python,

Reference 11

Resolution: verified exact; doi, observed 2026-08-10T17:19:35.022882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4019c7ca-4f72-4acd-99cd-e4d5bbd32238 · outbound

This paper cites American fuzzy lop (afl),.

Treefix: Enabling Execution with a Tree of Prefixes American fuzzy lop (afl),

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.361232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ff43bc89-76a5-4a42-a9ae-02076f2ae1a7 · outbound

This paper cites Coverage-based greybox fuzzing as markov chain,.

Treefix: Enabling Execution with a Tree of Prefixes Coverage-based greybox fuzzing as markov chain,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.828871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c157d56-4531-4efc-9a89-7bb12b1d64b8 · outbound

This paper cites Fuzz4all: Universal fuzzing with large language models,.

Treefix: Enabling Execution with a Tree of Prefixes Fuzz4all: Universal fuzzing with large language models,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.832986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04c8a931-a98c-4506-b301-05da378ca30c · outbound

This paper cites Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,.

Treefix: Enabling Execution with a Tree of Prefixes Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.836056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4acb2846-fc60-4c6f-b92e-80c372fd7dce · outbound

This paper cites Coverup: Coverage-guided llm-based test generation,.

Treefix: Enabling Execution with a Tree of Prefixes Coverup: Coverage-guided llm-based test generation,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.349908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 159aeebe-2d31-4dfd-860b-5fa141973b03 · outbound

This paper cites Micro execution,.

Treefix: Enabling Execution with a Tree of Prefixes Micro execution,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.338504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 02df2a0f-1847-4253-a645-2cf992a1a7dd · outbound

This paper cites Under-constrained symbolic execution: Correctness checking for real code,.

Treefix: Enabling Execution with a Tree of Prefixes Under-constrained symbolic execution: Correctness checking for real code,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.326904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 617b2738-fc65-41c1-97db-561802547a43 · outbound

This paper cites J-force: Forced execution on javascript,.

Treefix: Enabling Execution with a Tree of Prefixes J-force: Forced execution on javascript,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.850461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dda358e-8b11-4923-a36c-06d07dcf2b70 · outbound

This paper cites KLEE: Unassisted and automatic generation of high-coverage tests for complex systems pro- grams,.

Treefix: Enabling Execution with a Tree of Prefixes KLEE: Unassisted and automatic generation of high-coverage tests for complex systems pro- grams,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.314606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b9ffce1e-bfcf-48e6-957d-e6c29004896b · outbound

This paper cites DART: directed automated random testing,.

Treefix: Enabling Execution with a Tree of Prefixes DART: directed automated random testing,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.301266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 57b16de2-55f3-4790-8a54-48a4fce1b8c9 · outbound

This paper cites CUTE: a concolic unit testing engine for C,.

Treefix: Enabling Execution with a Tree of Prefixes CUTE: a concolic unit testing engine for C,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.287363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 671db19e-dce0-43e6-9e19-4a2f36cef2b2 · outbound

This paper cites Evosuite: automatic test suite generation for object-oriented software,.

Treefix: Enabling Execution with a Tree of Prefixes Evosuite: automatic test suite generation for object-oriented software,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.274486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a1a75de4-5800-40b2-9216-22fefc633026 · outbound

This paper cites Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,.

Treefix: Enabling Execution with a Tree of Prefixes Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.261635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b8dccaf0-695b-4cf1-8fbd-93806e0927ef · outbound

This paper cites Coverup: Coverage-guided llm-based test generation,.

Treefix: Enabling Execution with a Tree of Prefixes Coverup: Coverage-guided llm-based test generation,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.250157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 3a93c220-4273-48de-b1e5-531796c91be7 · outbound

This paper cites Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,.

Treefix: Enabling Execution with a Tree of Prefixes Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.878542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c752c069-ffe8-4638-b080-d7549c2c3718 · outbound

This paper cites Conversational Automated Program Repair.

Treefix: Enabling Execution with a Tree of Prefixes Conversational Automated Program Repair

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.882424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0cd250b-be13-4298-bee0-726bdc83d9b1 · outbound

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

Treefix: Enabling Execution with a Tree of Prefixes Less training, more repairing please: revisiting automated program repair via zero-shot learning

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.886523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df62fa53-0ba4-4375-b490-4ad1c7d85b7e · outbound

This paper cites RepairAgent: An autonomous, LLM-based agent for program repair,.

Treefix: Enabling Execution with a Tree of Prefixes RepairAgent: An autonomous, LLM-based agent for program repair,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.238594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 672a5460-6bd6-4c20-9e86-d1d89be1657e · outbound

This paper cites Neural software analysis,.

Treefix: Enabling Execution with a Tree of Prefixes Neural software analysis,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.894074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a7f2cce-3f38-4349-9f48-4617a3ef4e53 · outbound

This paper cites Deep learning type inference,.

Treefix: Enabling Execution with a Tree of Prefixes Deep learning type inference,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.897898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abb34c94-a8da-457e-827b-37e5d457b212 · outbound

This paper cites NL2Type: Inferring JavaScript function types from natural language information,.

Treefix: Enabling Execution with a Tree of Prefixes NL2Type: Inferring JavaScript function types from natural language information,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.901941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76ff97f2-804b-4840-8713-7bfabf16ed48 · outbound

This paper cites Typewriter: Neural type prediction with search-based validation,.

Treefix: Enabling Execution with a Tree of Prefixes Typewriter: Neural type prediction with search-based validation,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.905878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d52c425-7d98-4f39-85b6-3401ad9be7d0 · outbound

This paper cites Typilus: neural type hints,.

Treefix: Enabling Execution with a Tree of Prefixes Typilus: neural type hints,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.909756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aabcf219-5d99-4979-a219-1b66e6aa97c0 · outbound

This paper cites An empirical evaluation of using large language models for automated unit test generation,.

Treefix: Enabling Execution with a Tree of Prefixes An empirical evaluation of using large language models for automated unit test generation,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.913869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 372f20a2-e1bc-4c1c-a015-226b9fce5c97 · outbound

This paper cites Code-aware prompting: A study of coverage guided test generation in regression setting using llm,.

Treefix: Enabling Execution with a Tree of Prefixes Code-aware prompting: A study of coverage guided test generation in regression setting using llm,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.917672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02163687-7672-4800-99ec-4c954ee4bc6c · outbound

This paper cites Learning deep semantics for test completion,.

Treefix: Enabling Execution with a Tree of Prefixes Learning deep semantics for test completion,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.209546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2cc3652d-c418-496f-a449-032e0709a0c9 · outbound

This paper cites De-Hallucinator: Mitigating LLM Hallucinations in Code Generation Tasks via Iterative Grounding.

Treefix: Enabling Execution with a Tree of Prefixes De-Hallucinator: Mitigating LLM Hallucinations in Code Generation Tasks via Iterative Grounding

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.925822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e0a9e33-5ae4-4fba-9764-438125f9fc12 · outbound

This paper cites SequenceR: Sequence-to-sequence learning for end-to-end program repair,.

Treefix: Enabling Execution with a Tree of Prefixes SequenceR: Sequence-to-sequence learning for end-to-end program repair,

Reference 39

Resolution: malformed identifier; no resolver link, observed 2026-08-10T17:19:34.930081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 334f1c00-b216-44cd-aae8-0ef8cabcc3ca · outbound

This paper cites Iter: Iterative neural repair for multi-location patches,.

Treefix: Enabling Execution with a Tree of Prefixes Iter: Iterative neural repair for multi-location patches,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.196433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 33f92dd9-30c5-4ee9-80a7-8ba18f5ce9a7 · outbound

This paper cites Repairllama: Efficient represen- tations and fine-tuned adapters for program repair,.

Treefix: Enabling Execution with a Tree of Prefixes Repairllama: Efficient represen- tations and fine-tuned adapters for program repair,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.181965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c13d2437-8497-4a65-a9b2-ec524436c50e · outbound

This paper cites A deep dive into large language models for automated bug localization and repair,.

Treefix: Enabling Execution with a Tree of Prefixes A deep dive into large language models for automated bug localization and repair,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.169292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e7ce289e-4a99-4245-8442-b27672938150 · outbound

This paper cites Swe-agent: Agent-computer interfaces enable automated software engineering,.

Treefix: Enabling Execution with a Tree of Prefixes Swe-agent: Agent-computer interfaces enable automated software engineering,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.157212Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0f3a5ac1-998a-455d-9af6-0bd6d7c533e1 · outbound

This paper cites Autocoderover: Autonomous program improvement,.

Treefix: Enabling Execution with a Tree of Prefixes Autocoderover: Autonomous program improvement,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.144654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation aaa50ea9-8c3d-430a-b23a-1cb5802165d7 · outbound

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

Treefix: Enabling Execution with a Tree of Prefixes MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-10T17:19:34.952712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b701e1f5-a108-447e-8493-c5a9305633d0 · outbound

This paper cites Our replication package.

Treefix: Enabling Execution with a Tree of Prefixes Our replication package

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.132723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 3435bca9-b45a-4ea8-b0e3-24edd51dafa3 · outbound

This paper cites Available: http://papers.nips.cc/paper files/paper/2023/ hash/43e9d647ccd3e4b7b5baab53f0368686-Abstract-Conference.html.

Treefix: Enabling Execution with a Tree of Prefixes Available: http://papers.nips.cc/paper files/paper/2023/ hash/43e9d647ccd3e4b7b5baab53f0368686-Abstract-Conference.html

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:19:36.372987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

Observation 0ec50dbe-a7a5-4689-b533-ed82833a6b7a · inbound

BootstrapAgent: Distilling Repository Setup into Reusable Agent Knowledge cites this paper.

BootstrapAgent: Distilling Repository Setup into Reusable Agent Knowledge Treefix: Enabling Execution with a Tree of Prefixes

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-20T17:08:41.984190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8c3ac2d5-ff79-4cb5-97e9-011f08b8d246 · inbound

Natural Language-Focused Software Engineering via Code-Documentation Equivalence cites this paper.

Natural Language-Focused Software Engineering via Code-Documentation Equivalence Treefix: Enabling Execution with a Tree of Prefixes

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-06-26T11:29:24.163234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.