REVIEW 5 major objections 5 minor 13 references
From Knowledge to Noise: CTIM-Rover and the Pitfalls of Episodic Memory in Software Engineering Agents
T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Adding cross-task memory to a software-repair agent did not help and often hurt it.
desk verdict A useful negative result undermined by a missing control: CTIM-Rover adds Reflexion to AutoCodeRover, so the reported 'memory hurts' conclusion is not actually isolated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Cross-Task-Instance Memory (CTIM), an episodic memory of distilled lessons from previously solved bug-fixing tasks. It is built in two knowledge-distillation phases: first, a reasoning-focused language model extracts general software-engineering rules from pairs and success-failure tuples of 236 successful trajectories; second, it extracts repository-specific rules (structure, conventions, failure modes) conditioned on the general rules, capped at $\lceil\sqrt{n}\rceil$ items. During evaluation the full CTIM is injected into the prompt at the start of a trajectory; the 'Exemplar only' variant instead retrieves the single most task-similar past trajectory from a Milvus index of Code-T5 problem-statement embeddings using a 90% cosine threshold. The mechanism is meant to let the agent skip exploration and reuse repository knowledge, but in practice the injected text becomes part of the model's context and can dominate or misdirect its early decisions.
What would settle it
Run all configurations on the full 500-instance SWE-bench Verified with several independent runs and report confidence intervals: if CTIM-Rover's success rate is statistically indistinguishable from or better than AutoCodeRover's, the paper's central claim is falsified. A complementary test would replace the static full-CTIM prompt with per-turn embedding retrieval of relevant items; if that beats AutoCodeRover, the harm comes from presentation or relevance rather than from cross-task memory per se.
Extended reading notes
Core claim
On the paper's own terms, the discovery is a negative result about episodic memory in software engineering agents. AutoCodeRover resolves 42% of the 45 test issues; CTIM-Rover with general plus repository-level memory resolves 40%; with only the general/repository memory it resolves 31%; with only an exemplar trajectory, 40%. The repository-level memory did not help even on django, the repository the training trajectories were most skewed toward, and a qualitative trace shows a single memory item containing the word 'clean' diverting the agent from the function that actually needed the patch; removing that item let the system solve the issue. Adding an arbitrary capitalized item ('GRANDMA LIKES PASTA') to the memory restored success on another sample, which the paper reads as evidence that memory acts as surface-level noise that biases early exploration rather than as reusable knowledge. The paper concludes that the cross-task-instance memory approach, as implemented, does not generalize to software engineering and that the failures point toward retrieval of relevant memory items at each turn rather than a full static memory dump.
Load-bearing premise
The central comparison rests on a 45-instance test set in which the baseline solved 19 issues and the best memory configuration solved 18; if that gap is sampling noise, the claim that the memory degrades performance collapses.
Editorial extensions
If this is right
- Unfiltered episodic memory can make an agent worse than no memory at all: the memory-only configuration resolved 31% of issues versus 42% for the unmodified baseline.
- The benefit of experiential-learning methods on simpler benchmarks (web shopping, household tasks, multi-hop QA) does not by itself transfer to long-horizon repository debugging.
- Coverage is not the bottleneck: even django, the most heavily represented repository in the training trajectories, did not benefit from repository-level memory, so item relevance and presentation matter more than how much memory is available.
- Retrieving and injecting a task-similar exemplar trajectory (40%) also failed to beat the baseline, so merely adding a similar example is not sufficient.
- A likely path forward is per-turn retrieval of a small set of relevant memory items rather than one static injection, the direction the paper points to and leaves untested.
Reading between the lines
- The paper reports percentages without error bars; 45 test instances make 42% versus 40% a 19-versus-18 resolved-instance gap, so the strongest defensible claim from the table is 'no measured improvement,' not 'proven degradation.'
- The paper's noise diagnosis rests on two hand-picked cases plus the 'GRANDMA LIKES PASTA' probe; a larger study that deliberately injects unrelated memory items and measures the shift in first-action distribution would test whether surface format, not semantic content, causes the bias.
- The paper explicitly does not run the retrieval-based variant it proposes, so the recommendation that per-turn embedding retrieval would fix the degradation is a conjecture, not a demonstrated result.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper introduces CTIM-Rover, an AutoCodeRover-based agent augmented with a Cross-Task-Instance Memory (CTIM) distilled from successful trajectories, including a repository-level variant. The authors evaluate several configurations (full CTIM, general CTIM only, repo-level CTIM only, exemplar only) on a 45-instance subset of SWE-bench Verified and report that none outperforms vanilla AutoCodeRover, with the full configuration scoring 40% versus a 42% baseline. Based on two qualitative examples, they attribute the degradation to noisy CTIM items and conclude that ExpeL and DoT-Bank do not scale to software engineering.
Significance. If the central result were established, this would be a useful negative result: it would caution against unconditional transfer of episodic-memory and experiential-learning methods from toy environments to SWE-bench, and the released code and detailed prompts would support follow-up work on retrieval-based memory. The paper also has methodological strengths: a held-out test split stratified on annotated difficulty and false-negative features, careful documentation of trajectory collection, and an explicit limitations section. However, the main attribution is currently confounded and statistically underpowered, so the significance is conditional on revision.
major comments (5)
- [§4, Figure 1, §3.1] The comparison is confounded: CTIM-Rover differs from AutoCodeRover not only by the memory but also by Reflexion full-trajectory retries and a reduced patch-generation retry budget. Section 3.1 states that during training the patch-generation retries are reduced from three to two, and Figure 1 shows that CTIM-Rover adds Reflexion-style self-reflection with up to three retries. The paper never reports whether the evaluation runs use the same Reflexion/retry configuration, and it provides no AutoCodeRover+Reflexion control. Consequently, every row of Table 1 attributes the full difference to CTIM, but the observed drops (e.g., 42% to 31%) could be caused by the retry loop, the retry budget, or the longer contexts (Table 3), not by the distilled knowledge. This blocks the headline 'memory degrades performance' claim.
- [§5, Table 1] No uncertainty quantification is provided for the success rates. With n=45, the 42% versus 40% difference is one resolved instance (19 versus 18) and is within sampling noise; no confidence intervals, error bars, or significance tests are reported anywhere. The cross-configuration comparisons (31% to 40%) and the 'degradation' language are therefore not supported by the data as reported. At minimum, the authors should report exact counts, intervals, and a paired test such as McNemar's test, since all configurations are evaluated on the same 45 instances.
- [Appendix D.3, Figure 24] The 'All psf Repository-Level CTIM Items' list contradicts the claimed repository-specific construction in Section 4.1. Three of the four psf items refer to Django-specific components ('RegisterLookupMixin', 'returning_fields', and 'admin logic in Django'), while only the first item concerns requests/models.py. This indicates that the repository-level knowledge base was contaminated with items from other repositories, either through the distillation pipeline or the prompt bookkeeping. This is a concrete flaw in the very component the paper identifies as harmful, and it weakens the claim that the repo-level CTIM was properly constructed; the authors should explain or fix this before the repository-level attribution can be evaluated.
- [§5.1] The causal diagnosis rests on two qualitative examples in which the authors manually remove one item or add an arbitrary item and observe behavior changes. There is no systematic ablation (e.g., removing all items containing certain tokens, permuting item order, or repeating runs to control for LLM stochasticity), and the two examples are not sufficient to support the general conclusion that noise in CTIM items is 'the likely source' of the degradation. The evidence is suggestive for a future retrieval-based design but not load-bearing for the paper's main claim.
- [Abstract and §6] The conclusion that 'neither ExpeL nor DoT-Bank scale to real-world SE problems' overstates what was tested. The paper evaluates CTIM-Rover, an ExpeL-inspired method with substantial modifications (repository-level KD, MoE-style grouping, Reflexion retries, size caps), and does not run ExpeL or DoT-Bank themselves on SWE-bench. The negative result can only support a claim about this instantiation, not about the original methods.
minor comments (5)
- [Figure 2 caption] The caption reads 'CITM-Rover' and should be 'CTIM-Rover'.
- [Figure 4 and Appendix D.2] Figure 4 contains 'T est-Split', and several prompt templates in Appendix D.2 contain typos such as 'didn 't in introduce' (Figures 12 and 14).
- [§4.1 and §4.2] The size cap c(n)=⌈√n⌉ and the 90% cosine threshold are free parameters with no sensitivity analysis; since the result is a null/negative effect, readers cannot tell whether another reasonable choice would change the outcome.
- [§4] The term 'Mixture-Of-Experts inspired' is not operationalized; the paper describes a two-phase knowledge distillation process with repository grouping, not an MoE model, and the analogy is unclear.
- [Table 3] The CTIM-Rover configurations consume substantially more tokens than AutoCodeRover, so a cost-adjusted comparison (e.g., success per dollar or per token) would strengthen the negative result and help readers judge the practical trade-off.
Circularity Check
No significant circularity: the evaluation uses a held-out test set and a memory built from training-trajectory experiences, with no parameter fitted to the test predictions.
full rationale
The paper's derivation chain is an empirical comparison: AutoCodeRover is augmented with a Cross-Task-Instance Memory distilled from successful trajectories on a training partition of SWE-bench Verified, and then evaluated on a disjoint 45-instance test partition (Appendix A). The memory is not defined in terms of the test outcomes, no parameter is fitted to the test set, and the central comparison rows in Table 1 are all held-out evaluations. The conclusion that CTIM degrades performance is a reported experimental observation, not a quantity that is equal to its inputs by construction. The skeptical concerns about the Reflexion retry configuration, the reduced patch-generation retries during training, the small test-set size, and the lack of a Reflexion-only control are threats to causal attribution and statistical validity, but they are not circularity: they do not make the output equivalent to the input by definition. The only potential leakage-related issue would be if the 53 supplementary SWE-bench Lite trajectories overlapped with the 45 test instances, but the paper does not establish such overlap, and asserting it would require external information rather than an exhibited reduction from the paper's own text. Self-citation is not load-bearing here: the paper builds on AutoCodeRover and ExpeL as external prior systems and does not invoke any author-specific uniqueness theorem or fitted ansatz. Overall, the derivation is self-contained against an external benchmark and the reported negative result is a genuine experimental finding, so no circular step is identified.
Assumptions & free parameters
free parameters (3)
- CTIM maximum size cap =
c(n) = ceil(sqrt(n))
- Exemplar retrieval cosine threshold =
0.9
- Initial importance of CTIM items =
doubled relative to ExpeL
assumptions (4)
- domain assumption The stratified split on difficulty and false_negative annotations yields a representative test set for SWE-bench Verified.
- domain assumption The removed repositories (pylint, astropy, pydata/xarray) and ~10% of samples are not systematically different from those kept.
- domain assumption The o1 model can extract accurate, non-redundant, and transferable rules from successful trajectories.
- ad hoc to paper The two qualitative examples in Section 5.1 are representative of the general failure mode.
invented entities (2)
-
Cross-Task-Instance Memory (CTIM)
-
Repository-level CTIM
Cite this review
Pith. "Pith review of From Knowledge to Noise: CTIM-Rover and the Pitfalls of Episodic Memory in Software Engineering Agents." pith.science (2026). https://pith.science/paper/JYGKGUR2
@misc{pith2026250523422,
author = {Pith},
title = {Pith review of: From Knowledge to Noise: CTIM-Rover and the Pitfalls of Episodic Memory in Software Engineering Agents},
year = {2026},
howpublished = {\url{https://pith.science/paper/JYGKGUR2}},
note = {Machine review of arXiv:2505.23422}
}
read the original abstract
We introduce CTIM-Rover, an AI agent for Software Engineering (SE) built on top of AutoCodeRover (Zhang et al., 2024) that extends agentic reasoning frameworks with an episodic memory, more specifically, a general and repository-level Cross-Task-Instance Memory (CTIM). While existing open-source SE agents mostly rely on ReAct (Yao et al., 2023b), Reflexion (Shinn et al., 2023), or Code-Act (Wang et al., 2024), all of these reasoning and planning frameworks inefficiently discard their long-term memory after a single task instance. As repository-level understanding is pivotal for identifying all locations requiring a patch for fixing a bug, we hypothesize that SE is particularly well positioned to benefit from CTIM. For this, we build on the Experiential Learning (EL) approach ExpeL (Zhao et al., 2024), proposing a Mixture-Of-Experts (MoEs) inspired approach to create both a general-purpose and repository-level CTIM. We find that CTIM-Rover does not outperform AutoCodeRover in any configuration and thus conclude that neither ExpeL nor DoT-Bank (Lingam et al., 2024) scale to real-world SE problems. Our analysis indicates noise introduced by distracting CTIM items or exemplar trajectories as the likely source of the performance degradation.
Figures
Figures from the paper (21 more)
Reference graph
Works this paper leans on
-
[1]
Reasoning and planning strategies that serve as guiding signals for future task attempts, especially with respect to identifying the locations of buggy code effectively
-
[3]
Common pitfalls and error patterns in software engineering that are relevant to identifying and fixing buggy code. Figure 12: The prompt describing the success-failure trajectory pair KD setting for the high level KD phase. Success-Failure Trajectory KD Setting - General KD (Phase 1) continued Key requirements for rules: - DO NOT suggest testing the imple...
-
[4]
The application domain of the project (e.g., Does the software handle images or text and what kind? Is it a command line application or does it have a GUI? Does it handle HTTP requests? Is it a highly technical, mathematical application?)
-
[5]
What are common errors or potential pitfalls in these application domains?)
Common edge cases or failure modes related to the project 's specific application domain. What are common errors or potential pitfalls in these application domains?). Key requirements for rules: - DO NOT suggest testing the implementation. The agent must generate correct patches on the first attempt by leveraging general and repository-specific rules iden...
-
[7]
Reasoning and planning strategies that serve as guiding signals for future task attempts, especially with respect to entifying the locations of buggy code effectively
-
[8]
Coding practices, patterns, and idioms that are generally applicable to writing high-quality, staff senior level code, to fix bugs
-
[9]
Common pitfalls and error patterns in software engineering that are relevant to identifying and fixing buggy code. Key requirements for rules: - DO NOT suggest testing the implementation. The agent using your ruleset is UNABLE to test its implementation. It must generate a correct patch on the first attempt. - DO NOT suggest reflecting on a past trajector...
-
[10]
Repository-level bug localization and environment exploration patterns that help locate relevant code sections quickly, including key file locations, module relationships
Show all 13 references
-
[11]
Repository-level coding conventions, architectural principles, design patterns, and implementation approaches that are consistently used across the codebase and should be followed when making changes
-
[12]
Repository-level error or exception handling strategies, including custom errors or exceptions
-
[2017]
Proceedings of the National Academy of Sciences, 114(13):3521–3526
Overcoming catastrophic forgetting in neural networks. Proceedings of the National Academy of Sciences, 114(13):3521–3526. Publisher: Proceed- ings of the National Academy of Sciences. Vijay Lingam, Behrooz Omidvar Tehrani, Sujay Sang- havi, Gaurav Gupta, Sayan Ghosh, Linbo Li...
2024 arXiv
-
[2024]
psf” or “pallets
Table 2 presents the p-values for the inves- tigated features. We find that the difficulty and false_negative features are statistically signifi- cantly associated with the resolution of an instance at a significance level ofα = 0.01. These fields cor- respond to the subjectiv...
2025
-
[2025]
arXiv preprint
SWE-smith: Scaling Data for Software Engi- neering Agents. arXiv preprint. ArXiv:2504.21798 [cs]. Zhilin Yang, Peng Qi, Saizheng Zhang, Yoshua Ben- gio, William W. Cohen, Ruslan Salakhutdinov, and Christopher D. Manning. 2018. HotpotQA: A Dataset for Diverse, Explainable Multi...
2018 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.