REVIEW 4 major objections 5 minor 29 references
When agents write both the policy and the tests, self-scores can stay near perfect while real deployment performance collapses or never improves.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-31 18:46 UTC pith:OV5DAM6D
load-bearing objection Solid empirical demo that co-evolving self-tests lose deployment meaning; SEAL helps retention in this testbed, but “sufficient exogenous signal” outruns the unmeasured audit–deployment ordering. the 4 major comments →
Self-Authored Verification Is Unreliable in Heuristic Self-Improving Agents
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under iterative co-evolution of policy and self-authored tests, agent-visible verification systematically loses contact with sealed deployment truth: self-scores can saturate near 1.0 while deployment performance stays low, collapses after partial discovery, or fails to retain gains. The failure is stratified by capability and is not fixed by internal test constraints alone; a small sealed exogenous candidate–incumbent audit with single-bit feedback and whole-state rollback is sufficient, in the reported settings, to prevent the most damaging regressions from being deployed.
What carries the argument
SEAL (Sealed Exogenous Acceptance Loop): a pre-deployment gate that keeps the agent’s own tests for proposal and debugging, but accepts a candidate only if a fixed harness-side audit—hidden instances and dynamics the agent cannot author or see—shows no clear regression versus the incumbent, returning only accept/reject and rolling back the entire policy–test state on failure.
Load-bearing premise
A small fixed hidden audit must rank candidate against incumbent closely enough to real deployment that blocking audit regressions actually preserves useful deployed behavior.
What would settle it
Run the same multi-round policy-and-test co-evolution on the reported games with a sealed audit whose ranking systematically disagrees with deployment truth: if SEAL then accepts policies that keep collapsing on deployment (or rejects the only policies that would improve), the claim that a small exogenous non-regression audit is enough fails.
If this is right
- Self-improving code or heuristic agents should not treat self-test pass rates as deployment authority once the agent can edit those tests.
- Capability alone does not close the gap: stronger models still need an external acceptance boundary under distribution shift.
- Internal rules such as ‘only strengthen tests’ or ‘beat a no-op baseline’ are insufficient substitutes for exogenous candidate–incumbent evidence.
- Audit confidentiality and single-bit feedback matter: leaking numerical audit scores can weaken the gate by turning it into a new optimizable proxy.
- Reliable continual self-improvement can keep self-verification for search, provided at least one low-leakage deployment-acceptance signal stays outside the agent’s control.
Where Pith is reading between the lines
- The same endogenous-verifier problem likely appears in any loop where agents co-edit skills, evaluators, or reward proxies, not only Atari programmatic policies.
- Designers of agent harnesses may need a permanent ‘trusted core’ of sealed acceptance checks even when almost all evaluation is otherwise agent-written.
- If audit and deployment orderings diverge often, the next research step is how to choose or refresh the sealed audit without leaking it into the agent’s optimization channel.
- Whole-state rollback implies that tests are part of the deployed artifact: protecting performance also means freezing co-adapted, possibly misleading, self-tests when a candidate is rejected.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies iterative self-improvement loops in which an LLM agent edits both a procedural policy (policy.py) and its own verification tests (tests.py) over ten outer rounds on five Atari games. It defines the "verifier–deployment gap" — high agent-visible self-scores coexisting with low or degrading hidden deployment truth — and documents it across seven models (Table 4: all 35 cells end with self-score ≥ 0.70, while 15 of 35 final policies score below the random reference). It then evaluates acceptance mechanisms (none, monotone, discriminative, endo-gate, SEAL, leaky-anchor) and finds that self-authored constraints do not close the gap, while SEAL — a fixed harness-side candidate-vs-incumbent audit with single-bit accept/reject feedback, slack δ_t = max(δ_min, ρ|b_t|), and whole-state rollback — improves final deployment truth for all six core models on Breakout (Table 5) and in 9 of 12 cross-game comparisons (Table 7). A conditional information-limit argument (Eq. 1, α+β ≥ 1−TV) motivates why no purely endogenous gate can guarantee both low false-acceptance and low false-rejection.
Significance. If the results hold, this is a useful and well-constructed empirical demonstration of a failure mode that matters for the growing literature on self-rewriting agents: the verifier itself becomes part of the optimized system, and the paper shows this is not just explicit reward hacking but a structural consequence of co-evolving tests. Strengths worth naming: (i) the phenomenon is shown systematically across seven models and five games rather than as an anecdote, with a capability-stratification finding (weaker models overwrite acquired behavior; stronger models mismeasure shifted deployment distributions); (ii) the ablation design is unusually careful for this genre — the leaky-anchor condition isolates audit confidentiality, the compute-matched pilot (Table 6) addresses the extra-search confound, and endo-gate isolates audit exogeneity; (iii) deployment truth is kept strictly offline, so the headline comparisons are not contaminated by adaptive optimization of the target metric; (iv) the information-limit inequality is standard but is framed honestly as conditional ("does not show that endogenous evidence is always uninformative"). The paper is also candid about SEAL's ceiling ("a
major comments (4)
- [Finding 2 / Experimental Setup; Eq. (2)] The load-bearing assumption behind SEAL's protective effect — that the audit A preserves the candidate-vs-incumbent ordering under deployment conditions — is never operationalized. The Experimental Setup states deployment truth uses dynamics shifts 'the agent cannot observe, such as sticky actions or repeat-action probability,' but the main text never states whether the audit dynamics D_A share those shifts. If D_A is standard-dynamics while deployment is shifted, audit/deployment ordering divergence is expected by construction. The paper's own trace (Finding 2, trajectory-level mechanism) exhibits the failure: the second accepted state improves on the audit 12.7→14.2 while deployment truth falls 17.6→13.8. The authors acknowledge the audit is a finite-sample proxy, but for the intervention claim to be interpretable the paper needs (a) an explicit statement of the relationship between D_
- [Sealed Exogenous Acceptance Loop; Eq. (3)-(4), Algorithm 1] The acceptance rule c_t ≥ b_t − δ_t with δ_t = max(δ_min, ρ|b_t|) is a slack ratchet: each accepted candidate may regress by up to δ_t on the audit (and arbitrarily on deployment), and the incumbent resets after every accept, so small regressions can compound over 10 rounds without rollback ever triggering. The paper bounds no cumulative drift. Compounding this, the actual values of ρ, δ_min, |S_A|, and m never appear in the main text — SEAL's behavior cannot be reproduced or even reasoned about without them. At minimum, report these hyperparameters and either bound the worst-case cumulative audit drift or show empirically (round-by-round audit and truth traces, not just one illustrative run) that compounding does not occur in practice.
- [Tables 5-7 (Metrics; Findings 2-3)] The statistical basis for the headline claim ('SEAL outperforms unprotected baselines across six models and three random seeds') is thinner than the framing suggests. Three seeds reported as mean ± half-range is a very weak dispersion measure; several key cells have half-ranges comparable to the mean (Doubao SEAL 35.1 ± 26.0 vs none 19.1 ± 17.9; MiniMax 13.5 ± 8.9). The Pong entries in Table 7 are single runs (-21, -16→-4), and the compute-matched pilot in Table 6 — the only control for the proposal-budget confound — covers four models with apparently one seed each (no dispersion reported). The qualitative direction is consistent and I do not doubt the effect, but the paper should report per-seed values (or standard deviations and a paired comparison across seeds) so readers can judge which cells are robust. This matters most for Table 5, which carries the central ablation claim.
- [Finding 2, Figure 5(b); Conclusion] Figure 5(b) illustrates a foreclosure mode that cuts against the sufficiency framing: SEAL rejects all 19 later candidates and locks in deployment truth 13.8, while the unprotected trajectory twice reached 17.6-18.1. Protection and foreclosure are the same mechanism, distinguished only by whether the audit's ordering is right — and the same figure reports an instance where the ordering was wrong. The conclusion ('SEAL effectively mitigates this gap and consistently outperforms unprotected baselines') should be qualified to state explicitly that the gate trades discovery for retention and that the trade is only favorable when the audit ordering tracks deployment. This is a framing/quantification fix, not new experiments: report how often SEAL's final truth falls below the unprotected run's peak (Fig. 6 partially does this) and discuss the lock-in case directly.
minor comments (5)
- [Abstract; Problem Setup] Terminology is inconsistent: the abstract and contributions use both 'verifier–deployment gap' and 'verifier–real (performance) gap'; please pick one. Similarly 'Y D(π)' vs 'YD(π)' and 'V T' spacing artifacts appear throughout, likely from PDF extraction but worth a notation pass.
- [Tables 4-5] Table 4 includes Qwen3.6-Plus but Table 5's 'six core models' excludes it; the paper never defines which models are 'core' or why Qwen is dropped from the ablation. One sentence would resolve this. Also, the Kimi endo-gate 'OOT' cell in Table 5 deserves a footnote on how the time limit is set and whether OOT itself is evidence about that condition.
- [Throughout (naming)] The name SEAL collides with an existing and reasonably well-known method (Self-Adapting Language Models, Zweiger et al., 2025). Given that the two address different problems this is not disqualifying, but a renaming or an explicit disambiguating footnote would avoid citation confusion.
- [Information Limit of Endogenous Evidence, Eq. (1)] Eq. (1)'s proof is deferred to the supplement; since the bound is standard (a standard TV/Le Cam-style testing bound), a two-line inline proof sketch would strengthen the main text at negligible cost. Also state explicitly what O_t contains in the experiments (transcript H_t plus self-test outputs?), so the TV premise connects to the measured system.
- [Figures 4 and 6; reproducibility] Figure 4 normalizes truth by 'the highest final mean in the model set,' which makes the gap bars (+0.47, ..., -0.01) sensitive to a single model's score; state which model sets the scale and consider normalizing by the random-to-human range as in Fig. 6 for consistency. Also, reproducibility: the paper would be substantially strengthened by releasing the harness, prompts, and per-round logs; if a release is planned, say so.
Circularity Check
No significant circularity: empirical gap measurement and SEAL intervention are definitionally separate from the offline deployment benchmark.
full rationale
This is a controlled empirical systems paper, not a first-principles derivation that fits targets and renames them as predictions. The verifier–deployment gap is operationalized by keeping self-score rt = VT'(π') agent-visible while deployment truth YD(π) is sealed, offline-only, and never written into prompts or acceptance. SEAL’s audit A is a separate pre-deployment gate (hidden SA, DA; single-bit accept/reject; conservative non-regression ct ≥ bt − δt) and is explicitly disjoint from final YD; acceptance is not defined as matching YD. The information-limit bound α+β ≥ 1−TV(P+,P−) is a standard total-variation inequality on endogenous observables, not a fit of the claimed failure mode. Baseline comparisons (none, monotone, discriminative, endo-gate, leaky-anchor) and multi-model/multi-game tables report independent deployment returns. Related-work citations (Self-Refine, Reflexion, Heuristic Learning/Weng, SWE-bench, reward-hacking literature) frame the setting but do not supply a load-bearing uniqueness theorem or ansatz that forces the main empirical claim. Residual risks (audit–deployment rank mismatch; slack ratchet; finite-sample proxy accepting audit gains while truth falls) are assumption/correctness issues the paper partly acknowledges, not circular reductions of outputs to inputs by construction. No self-definitional loop, fitted-input-as-prediction, or self-citation chain underwrites the central result.
Axiom & Free-Parameter Ledger
free parameters (4)
- SEAL relative slack ρ =
not numerically specified in main text
- SEAL absolute slack δ_min =
not numerically specified in main text
- Audit repeats m and hidden instance set S_A
- Outer-loop rounds (default 10) and proposal budget =
10 rounds main setting
axioms (5)
- domain assumption Heuristic self-improvement can be usefully studied as iterative co-editing of procedural policy code and self-tests with acceptance based on verification signals.
- domain assumption An agent-hidden deployment evaluation Y_D is the appropriate notion of real performance against which self-scores should be compared.
- domain assumption Atari ALE programmatic policies with dynamics shifts (e.g., sticky/repeat actions) are a valid testbed for endogenous-verifier failure in heuristic learning.
- standard math For any endogenous gate, α+β ≥ 1−TV(P+,P−): when agent-visible evidence barely distinguishes regressing from non-regressing candidates, endogenous-only gates cannot make both error types small.
- ad hoc to paper A conservative sealed candidate–incumbent audit with single-bit feedback and whole-state rollback is a minimal sufficient external trust boundary for preventing many deployment regressions.
invented entities (2)
-
verifier–deployment gap
no independent evidence
-
Sealed Exogenous Acceptance Loop (SEAL)
no independent evidence
read the original abstract
Self-improving agents accumulate capability by repeatedly rewriting procedural policies, controllers, or heuristic rules. They typically rely on self-authored tests or metrics to decide whether to accept subsequent edits. The agent controls both the optimized object and its verifier. As a result, self-assigned scores can remain near perfect while real deployment performance degrades or stays low. We study this problem through the verifier--deployment gap. This gap refers to the discrepancy between an agent's self-authored verification signal and a sealed deployment evaluation that the agent cannot observe or access. We ask how self-authored verification fails under iterative policy-and-test rewriting, how the failure changes with capability, and how little exogenous trust is sufficient to prevent real regressions from being deployed. To address this problem, we introduce a Sealed Exogenous Acceptance Loop (SEAL). SEAL retains self-authored tests but compares each candidate with the incumbent through a fixed harness-side audit. The agent cannot author or inspect the audit, receives only accept/reject, and the whole incumbent state is retained after a clear regression. Our experiments show that this problem often appears in heuristic learning settings. These settings require trial-and-error discovery of the target objective. We further find that failures of self-written verification are stratified by capability. Weaker agents tend to damage previously acquired strategies behind easy self-tests. Stronger agents are more stable, but they still mismeasure the deployment distribution. Standard self-written constraints do not reliably close this gap. In contrast, SEAL outperforms unprotected baselines across six models and three random seeds. Reliable self-improvement need not abandon self-verification, but it requires at least one deployment-acceptance signal outside the agent's control.
Figures
Reference graph
Works this paper leans on
-
[1]
T.; Harman, M.; McMinn, P.; Shahbaz, M.; and Yoo, S
Barr, E. T.; Harman, M.; McMinn, P.; Shahbaz, M.; and Yoo, S. 2014. The oracle problem in software testing: A survey. IEEE transactions on software engineering, 41(5): 507--525
2014
-
[2]
G.; Naddaf, Y.; Veness, J.; and Bowling, M
Bellemare, M. G.; Naddaf, Y.; Veness, J.; and Bowling, M. 2013. The arcade learning environment: An evaluation platform for general agents. Journal of artificial intelligence research, 47: 253--279
2013
-
[3]
Chen, A.; Li, A.; Zhou, B.; Gong, B.; Jiang, B.; Dan, B.; Yu, C.; Wang, C.; Ma, C.; Zhong, C.; et al. 2026. The minimax-m2 series: Mini activations unleashing max real-world intelligence. arXiv preprint arXiv:2605.26494
Pith/arXiv arXiv 2026
-
[4]
Chen, X.; Tao, Z.; Zhang, K.; Zhou, C.; Zhang, X.; Gu, W.; He, Y.; Zhang, M.; Cai, X.; Zhao, H.; et al. 2025. Revisit self-debugging with self-generated tests for code generation. In Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 18003--18023
2025
-
[5]
Gallego, V. 2025. Specification Self-Correction: Mitigating In-Context Reward Hacking Through Test-Time Refinement. arXiv preprint arXiv:2507.18742
Pith/arXiv arXiv 2025
-
[6]
S.; Yu, A.; Song, X.; and Zhou, D
Huang, J.; Chen, X.; Mishra, S.; Zheng, H. S.; Yu, A.; Song, X.; and Zhou, D. 2024. Large language models cannot self-correct reasoning yet. In International conference on learning representations, volume 2024, 32808--32824
2024
-
[7]
F.; Burkhardt, D.; Kurmanji, M.; Tastan, N.; Sani, L.; Venanzi, N
Iacob, A.; Jovanovi \'c , A.; Shen, W. F.; Burkhardt, D.; Kurmanji, M.; Tastan, N.; Sani, L.; Venanzi, N. A. E.; Odonnat, A.; Cao, Z.; et al. 2026. The Red Queen G " odel Machine: Co-Evolving Agents and Their Evaluators. arXiv preprint arXiv:2606.26294
Pith/arXiv arXiv 2026
-
[8]
E.; Yang, J.; Wettig, A.; Yao, S.; Pei, K.; Press, O.; and Narasimhan, K
Jimenez, C. E.; Yang, J.; Wettig, A.; Yao, S.; Pei, K.; Press, O.; and Narasimhan, K. 2024. Swe-bench: Can language models resolve real-world github issues? In International Conference on Learning Representations, volume 2024, 54107--54157
2024
-
[9]
Jin, Y.; Xu, K.; Li, H.; Han, X.; Zhou, Y.; Li, C.; and Bai, J. 2025. ReVeal: Self-Evolving Code Agents via Reliable Self-Verification. arXiv preprint arXiv:2506.11442
arXiv 2025
-
[10]
Kamoi, R.; Zhang, Y.; Zhang, N.; Han, J.; and Zhang, R. 2024. When can llms actually correct their own mistakes? a critical survey of self-correction of llms. Transactions of the Association for Computational Linguistics, 12: 1417--1440
2024
-
[11]
Khalifa, M.; Khan, Z.; Tafveez, O.; Peng, H.; and Wang, L. 2026. Countdown-code: A testbed for studying the emergence and generalization of reward hacking in RLVR. arXiv preprint arXiv:2603.07084
Pith/arXiv arXiv 2026
-
[12]
C.; Bellemare, M
Machado, M. C.; Bellemare, M. G.; Talvitie, E.; Veness, J.; Hausknecht, M.; and Bowling, M. 2018. Revisiting the arcade learning environment: Evaluation protocols and open problems for general agents. Journal of Artificial Intelligence Research, 61: 523--562
2018
-
[13]
Madaan, A.; Tandon, N.; Gupta, P.; Hallinan, S.; Gao, L.; Wiegreffe, S.; Alon, U.; Dziri, N.; Prabhumoye, S.; Yang, Y.; et al. 2023. Self-refine: Iterative refinement with self-feedback. Advances in neural information processing systems, 36: 46534--46594
2023
-
[14]
Z.; Shirobokov, S.; Kozlovskii, B.; Ruiz, F
Novikov, A.; V \ u , N.; Eisenberger, M.; Dupont, E.; Huang, P.-S.; Wagner, A. Z.; Shirobokov, S.; Kozlovskii, B.; Ruiz, F. J.; Mehrabian, A.; et al. 2025. Alphaevolve: A coding agent for scientific and algorithmic discovery. arXiv preprint arXiv:2506.13131
Pith/arXiv arXiv 2025
-
[15]
Paglieri, D.; Cupia , B.; Coward, S.; Piterbarg, U.; Wo czyk, M.; Khan, A.; Pignatelli, E.; Kuci \'n ski, .; Pinto, L.; Fergus, R.; et al. 2025. Balrog: Benchmarking agentic llm and vlm reasoning on games. In International Conference on Learning Representations, volume 2025, 96666--96702
2025
-
[16]
Robeyns, M.; Szummer, M.; and Aitchison, L. 2025. A self-improving coding agent. arXiv preprint arXiv:2504.15228
Pith/arXiv arXiv 2025
-
[17]
P.; Dupont, E.; Ruiz, F
Romera-Paredes, B.; Barekatain, M.; Novikov, A.; Balog, M.; Kumar, M. P.; Dupont, E.; Ruiz, F. J.; Ellenberg, J. S.; Wang, P.; Fawzi, O.; et al. 2024. Mathematical discoveries from program search with large language models. Nature, 625(7995): 468--475
2024
-
[18]
Seed, B. 2026. Seed2. 0 model card: Towards intelligence frontier for real-world complexity. arXiv preprint arXiv:2607.00248
Pith/arXiv arXiv 2026
-
[19]
Shinn, N.; Cassano, F.; Gopinath, A.; Narasimhan, K.; and Yao, S. 2023. Reflexion: Language agents with verbal reinforcement learning. Advances in neural information processing systems, 36: 8634--8652
2023
-
[20]
Song, X.; Cai, Z.; and Zhao, L. 2026. When AI Reviews Its Own Code: Recursive Self-Training Collapse in Code LLMs. arXiv preprint arXiv:2606.28438
Pith/arXiv arXiv 2026
-
[21]
M.; Hauth, A.; Millican, K.; et al
Team, G.; Anil, R.; Borgeaud, S.; Alayrac, J.-B.; Yu, J.; Soricut, R.; Schalkwyk, J.; Dai, A. M.; Hauth, A.; Millican, K.; et al. 2023. Gemini: a family of highly capable multimodal models. arXiv preprint arXiv:2312.11805
Pith/arXiv arXiv 2023
-
[22]
Team, K.; Bai, T.; Bai, Y.; Bao, Y.; Cai, S.; Cao, Y.; Charles, Y.; Che, H.; Chen, C.; Chen, G.; et al. 2026. Kimi K2. 5: Visual Agentic Intelligence. arXiv preprint arXiv:2602.02276
Pith/arXiv arXiv 2026
-
[23]
Thaman, K. 2026. Reward hacking benchmark: measuring exploits in LLM agents with tool use. arXiv preprint arXiv:2605.02964
Pith/arXiv arXiv 2026
-
[24]
Wang, G.; Xie, Y.; Jiang, Y.; Mandlekar, A.; Xiao, C.; Zhu, Y.; Fan, L.; and Anandkumar, A. 2023. Voyager: An open-ended embodied agent with large language models. arXiv preprint arXiv:2305.16291
Pith/arXiv arXiv 2023
-
[25]
Weng, J. 2026. Learning Beyond Gradients. https://trinkle23897.github.io/learning-beyond-gradients/. Blog post
2026
-
[26]
Xu, A.; Lin, B.; Xue, B.; Wang, B.; Xu, B.; Wu, B.; Zhang, B.; Lin, C.; Dong, C.; Ling, C.; et al. 2026. Deepseek-v4: Towards highly efficient million-token context intelligence. arXiv preprint arXiv:2606.19348
arXiv 2026
-
[27]
Yang, A.; Li, A.; Yang, B.; Zhang, B.; Hui, B.; Zheng, B.; Yu, B.; Gao, C.; Huang, C.; Lv, C.; et al. 2025. Qwen3 technical report. arXiv preprint arXiv:2505.09388
Pith/arXiv arXiv 2025
-
[28]
P.; Chen, Y.; Wang, Z.; Zhou, J.; Li, C.; Huang, W.-C.; Yao, Y.; Zheng, K.; et al
Zhang, H.; Fan, S.; Zou, H. P.; Chen, Y.; Wang, Z.; Zhou, J.; Li, C.; Huang, W.-C.; Yao, Y.; Zheng, K.; et al. 2026. Coevoskills: Self-evolving agent skills via co-evolutionary verification. arXiv preprint arXiv:2604.01687
Pith/arXiv arXiv 2026
-
[29]
Zhang, J.; Hu, S.; Lu, C.; Lange, R.; and Clune, J. 2025. Darwin godel machine: Open-ended evolution of self-improving agents. arXiv preprint arXiv:2505.22954
Pith/arXiv arXiv 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.