Auditing the Product, Not the Recursion: The Evaluation Evidence Behind Recursive Self-Improvement Claims
Organizations: Stevens Institute of Technology Hoboken, NJ, USA · University of Massachusetts Boston Boston, MA, USA
Abstract
Recursive self-improvement (RSI) promises AI systems, such as self-evolving LLM agents, that become better at producing further improvements. Evaluating this promise requires separating product claims about the final system from process claims about the improvement process itself. Existing surveys specify the evidence these claims require, but how often studies report that evidence remains unmeasured. We examine this question through full-text coding of 114 eligible studies in a reproducible arXiv search frame frozen in October 2026, including 90 that describe their own systems as RSI. The codebook links claims to evaluation designs. Independent human coding, third-reader adjudication, and a separate blind coding of improver comparisons assess coding reliability. Among the 90 RSI studies, 90% report product evaluation beyond development tasks under a broad criterion that includes partial or unstated separation, while 60% report evaluation on tasks unused for selection. Only 22% audit two or more reruns of the full loop. In a human-coded random sample, the RSI studies show the same contrast: 45% evaluate on tasks unused for selection and 14% audit two or more reruns. Of the 26 studies claiming a better improvement procedure, 23 report a related comparison, but only 4 compare earlier and later procedures from identical starting artifacts at a matched budget. Across these results and a comparison set of established works, evidence for repeatability and improved procedures remains less developed than product evaluation. Three propositions explain how selection effects, shared evaluator errors, and changes in system state limit what product evaluations can establish. Together, the findings support a claim-indexed reporting standard that connects each claim to the evaluation design needed to test it.
Figures & tables
| Work | Taxonomy of what changes | Evidence requirements | Study-level coding | Counts on a frame | Product vs. process |
|---|---|---|---|---|---|
| Wu et al. [17] | six update objects | protocol: sealed tests, frozen-improver control, no-update baseline, paired improver probe | protocol notes for 8 selected works | none; prevalence disclaimed | task gain, retention, improver gain |
| Wang et al. [18] | levels L0–L4 | matched-audit principle; reliability ladder | partly, by level | ||
| Chen et al. [19] | substrate by loop closure | verification hierarchy (qualitative) | abstract-level keyword rules | 1,250 records (abstract-level map) | |
| Ren et al. [23] , Gao et al. [20] | yes | ||||
| Ye et al. [31] , Wu et al. [32] | yes | research priorities; qualitative assessment of evidence | qualitative | ||
| Chen et al. [26] | transitions | longitudinal safety evidence | paper cards | coded pool (scoping) |
| Claim | Evidence that licenses it | Evidence that does not | Census items | Prop. | |
|---|---|---|---|---|---|
| C1 | Product | Audited gain of final over initial system on held-out tasks, grader independent of the development judge, matched evaluation budget | Gain on the development signal; count of accepted changes; held-out tasks scored by a coupled judge | A1–A3; A4–A6 for attribution | 1 , 2 |
| C2 | Accumulation | Audited score at each retained round, on a fixed audit set | Development scores per round; audit only at the end | P1, P2 | 1 |
| C3 | Repeatability | Two or more independent reruns of the full loop, audited, with variation across runs and a stated target quantity (estimand) | Variation across evaluation seeds of one evolved system | P3, P3a | |
| C4 | Improver gain | Swap test: earlier and later improvers from the same start state with the same budget, successors audited | Better final product; longer trajectories; ability to edit the improver; an evolving-versus-frozen comparison alone | P4, same-start design | 3 |
| C5 | Compounding | Repeated swap tests showing growing improver gains over a stated horizon, with total cost | Accelerating development scores; a few successful rounds | P4, repeated | 3 |
| Stage | Records |
|---|---|
| Records in the frame | 173 |
| Excluded on title and abstract: theory or formal model only | 16 |
| Excluded on title and abstract: benchmark or environment | 11 |
| Excluded on title and abstract: survey, roadmap or perspective | 7 |
| Excluded on title and abstract: position paper or design proposal | 5 |
| Excluded on title and abstract: analysis or evaluation study | 5 |
| Claim or practice | Studies | Strict indicator | Reported | Broad indicator | Reported |
| C1 Product gain | all | selection-independent evaluation (A2 = Y) | 54 of 90 (60%) | evaluation beyond the development tasks (A2 = Y or P), including 8 with separation not stated | 81 of 90 (90%) |
| C2 Accumulation | claimants | audit across rounds or checkpoints (P1 = Y) | 27 of 45 (60%) | per-round audit or audited reruns | 31 of 45 (69%) |
| C4 Improver gain | claimants | same-start comparison of earlier and later improvers at a matched budget | 4 of 26 (15%) | any improver-related comparison (P4 = Y or P) | 23 of 26 (88%) |
| Recommended practice, applied to every study | |||||
| C3 Repeatability of the loop | all | two or more audited reruns of the loop (P3a = Y) | 20 of 90 (22%) | two or more runs of the loop reported (P3) | 23 of 90 (26%) |
| Gain beyond equal resources | all | comparator at a matched budget (A4 = Y) | 33 of 90 (37%) | comparator with a reported or comparable budget (A4 = Y or P) | 78 of 90 (87%) |
| Study | Comparison | Design | Budget | Result | Locator |
|---|---|---|---|---|---|
| Zelikman et al. [10] | seed versus self-improved improver on the same tasks and initial solution | Same start | matched | mixed | Sec 5.1, Fig 4 |
| Tan et al. [8] | original versus meta-updated improver from the same released system | Same start | matched | better | Sec 5.4, Fig 11c |
| Yuan et al. [75] | initial versus learned updater on the same parent skill and findings | Same start | matched | better | Sec 6, Tab 3 |
| Lee et al. [76] | generation-0 versus generation-1 model as workflow optimizer on the same tasks | Same start | matched | better | Sec 4.2, Tab 1 |
| Ishibashi et al. [77] | generators of iterations 1 to 3 applied to the same seed model | Same start | partial | better | Sec 3.2, Tab 2, Fig 4 |
| Xu et al. [78] | original versus updated improver from the same released artifact | Same start | partial | better | App D.1, Tab S12 |
| Highest claim | E0 | E1 | E2 | E3 | E4 | Total |
|---|---|---|---|---|---|---|
| Product only | 1 | 5 | 20 | 10 | 0 | 36 |
| Accumulation | 1 | 2 | 8 | 15 | 2 | 28 |
| Improver | 0 | 0 | 8 | 7 | 11 | 26 |
| All strong | 2 | 7 | 36 | 32 | 13 | 90 |
| Audit grader | Verifiable | Open or mixed | All strong |
|---|---|---|---|
| Execution, simulator or environment | 33 | 0 | 33 |
| Reference labels | 24 | 0 | 24 |
| Human raters | 0 | 1 | 1 |
| Model judge, other family | 0 | 4 | 4 |
| Mixed graders | 4 | 15 | 19 |
| No audit recorded (A3 = NA) | 4 | 5 | 9 |
| Double-coded random sample ( ) | Other eligible | |||||
|---|---|---|---|---|---|---|
| Item | First pass | v1.1 recode | Adjudicated | 95% interval | studies ( ) | Fisher |
| Fully or partly held-out evaluation (A2 = Y or P) | 93% | 83% | 83% | 65–92 | 94% | 0.12 |
| Selection-independent evaluation (A2 = Y) | 66% | 41% | 41% | 26–59 | 64% | 0.05 |
| Headline uses development signal (A1 = Y or P) | 28% | 41% | 45% | 28–62 | 28% | 0.11 |
| Per-round audit (P1 = Y) | 24% | 45% | 45% | 28–62 | 39% | 0.66 |
| Audited reruns (P3a = Y) | 17% | 17% | 14% | 5–31 | 25% | 0.30 |
| Claim | Report always | Report when relevant | Census rate |
|---|---|---|---|
| Any claim | The claim and its scope; development signal and audit, with their tasks, graders and roles; how the reported checkpoint was chosen; candidates, seeds and cost | Changes to the evaluator, rubric or tests, with scores on a fixed reference; human repairs to the system | – |
| C1 Product | Final versus initial system on tasks unused for any selection; the audit grader’s relation to the development judge | A matched-budget comparator when the gain is attributed to the loop; a null control or noise-aware promotion when many candidates are scored; validation of a model judge that grades the audit | 60% |
| C2 Accumulation | Audited scores at predeclared rounds or checkpoints, with development scores for the same rounds | The horizon over which accumulation is claimed | 60% of claimants |
| C3 Repeatability | Two or more independent runs of the full loop from the same start, with audited outcomes, their spread and the estimand, such as the expected gain or the probability of a positive gain | The number of runs needed for the stated precision; if reruns are infeasible, a claim restricted to one trajectory | 22% |
| C4 Improver gain | An earlier and a later improver from identical starting artifacts, or from a declared set of starting states with paired assignment, at a matched budget, with successors audited and the direction and uncertainty of the contrast | Evolving-versus-frozen comparisons as supporting evidence; an inconclusive result reported as such | 4 of 26 claimants |
| C5 Compounding | Repeated same-start comparisons over a stated horizon; the quantity claimed to grow, such as the improver’s advantage or gain per unit of cost; total cost | – | not measured |
Appendix figures & tables11 assets
Supplementary material from the paper’s appendix.
Appendix
| Item | Values and rule |
|---|---|
| Label | Strong: the paper calls its own loop or system RSI or recursively self-improving in the title, abstract or introduction. Weak: RSI appears only as motivation, for example as a step toward it. |
| Self | Y: the changed artifact includes the system that runs the loop (its weights, harness, memory or improver). P: mixed, for example the agent trains a model that it later uses. N: the loop improves a separate target. |
| Target | Any of output, weights, memory or skills, harness or prompt or code, data or curriculum, improver, evaluator, world model. |
| Persist | R: changes are retained and used on later tasks or rounds. T: task-local refinement only. |
| Rounds | Number of rounds, iterations or generations of retained updates, as reported. |
| Domain | V: correctness decided by executable tests, exact answers, simulators, labels or physical measurement. O: open-ended, judged by humans or models. M: both in the headline evaluation. |
| Item | Name | Values | Rule |
|---|---|---|---|
| A1 | Headline on development signal | Y, P, N | Y if the headline number is measured with the tasks or signal that selected or accepted the changes; P if it mixes both, or uses the same tasks with hidden tests. |
| A2 | Product evaluation separation | Y, P, N, NR | Y requires tasks never used to select or accept changes and not used to pick checkpoints, rounds or hyperparameters. P if held out but also used for such choices, if overlap is unclear, or if only part of the headline is held out; the reason is recorded in A2r. |
| A3 | Audit grader | E, L, H, J, JS, M, NA | Execution or simulator; labels; human raters; model judge of another family; model judge of the same family or the system’s own evaluator; mixed; no audit (A2 = N or NR). Type only, not validity. |
| A4 | Budget-matched comparator | Y, P, N | Y: a baseline without the recursive update at an explicitly matched budget, such as best-of- , a fixed improver or more search. P: budgets reported or roughly comparable but not matched. |
| A5 | Null control | Y, N | Shuffled feedback, inert proposals, random acceptance or a no-feedback loop. |
| A6 | Noise-aware promotion | Y, N | Acceptance uses significance tests, confidence bounds, repeated evaluation or a margin justified by noise. |
| Field | Phrase | Hits |
|---|---|---|
| title | recursive self-improvement | 85 |
| abstract | recursive self-improvement | 161 |
| title | recursive self improvement | 85 |
| abstract | recursive self improvement | 161 |
| title | recursively self-improving | 85 |
| abstract | recursively self-improving | 161 |
| arXiv | Title | Lab. | Dom. | A2 | P1 | P3a | A4 | A5 | P4 | Design | Tier |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 1312.6764 | Bounded Recursive Self-Improvement | S | M | NR | N | N | N | N | N | – | E0 |
| 2202.05780 | A Modern Self-Referential Weight Matrix Tha… | W | V | Y | N | Y | P | N | N | – | E2 |
| 2310.02304 | Self-Taught Optimizer (STOP): Recursively S… | S | V | Y | Y | Y | P | N | Y | S | E4 |
| 2410.04444 ∗ | Gödel Agent: A Self-Referential Agent Frame… | S | V | Y | N | N | Y | Y | P | C | E2 |
| 2410.12375 | PRefLexOR: Preference-based Recursive Langu… | W | O | NR | N | N | N | N | N | – | E1 |
| 2410.15639 | Can Large Language Models Invent Algorithms… | S | V | P | Y | N | P | N | P | S | E3 |
| Item | Strong label ( ) | Verifiable ( ) | Open or mixed ( ) | All eligible ( ) |
| Product audit | ||||
| Selection-independent evaluation (A2 = Y) | 54 (60%) | 39 (60%) | 15 (60%) | 66 (58%) |
| Partly separated evaluation (A2 = P) | 27 (30%) | 22 (34%) | 5 (20%) | 38 (33%) |
| evaluation also used for selection | 14 (16%) | 11 (17%) | 3 (12%) | 19 (17%) |
| only part of the headline held out | 5 (6%) | 5 (8%) | 0 (0%) | 8 (7%) |
| separation not stated | 8 (9%) | 6 (9%) | 2 (8%) | 11 (10%) |
| Study | Type | Development signal | What the study’s own audit or control showed | Locator |
|---|---|---|---|---|
| Wang [16] | Paired | step-level gates with privileged state; paired trials | 123 rounds; target task never succeeded; the reach evaluator was gamed | Abstract; Fig. 1b; Fig. 3 |
| Wang et al. [9] | Paired | feedback-set error (39.63% to 21.33%) | external gains 13.07, 3.01, 0.38 points; three benchmarks regress in round 3 | Sec. 5.7; Tab. 18 |
| Shi et al. [104] † | Paired | public leaderboard used inside the loop | development metric reached record highs without moving the external target | Abstract; Sec. 3; Fig. 3 |
| Lee et al. [76] | Paired | self-evaluation (same model) | judge-graded gains; executable benchmarks flat (37.5 to 35.2, 62.6 to 61.1) | Sec. 4; Fig. 2 |
| Pepe et al. [112] † | Paired | validation fitness during search | best validation and best test fitness separate over search steps; designs ranked on test accuracy | App B; Fig. 1c; Fig. 8 |
| Fu et al. [113] | Paired | search-time accuracy on a 50-task subset | search-time accuracy does not reliably identify the best agent under full evaluation | Sec. 4; Tab. 5 |
| Item as coded | Agreement | Binary item used in the analysis | Agreement | |||
|---|---|---|---|---|---|---|
| Strong or weak label (label) | 97% | 0.91 | Fully or partly held-out evaluation (A2 = Y or P) | 87% | 0.44 | |
| Domain (domain) | 97% | 0.90 | Selection-independent evaluation (A2 = Y) | 67% | 0.36 | |
| Changed artifact includes the loop’s system (self) | 90% | 0.82 | Per-round audit (P1 = Y) | 80% | 0.57 | |
| Changes persist (persist) | 97% | 0.65 | Audited reruns (P3a = Y) | 97% | 0.87 | |
| Accumulation claim (cl acc) | 83% | 0.63 | Budget-matched comparator (A4 = Y) | 67% | 0.25 | |
| Improver claim (cl imp) | 93% | 0.81 | Null control (A5 = Y) | 80% | 0.33 |
| Comparison (P4) | |||
|---|---|---|---|
| Ours / independent | Y | P | N |
| Y | 20 | 3 | 0 |
| P | 7 | 7 | 0 |
| N | 0 | 2 | 4 |
| Item | Strong-label studies ( ) | Anchor works ( ) |
|---|---|---|
| Selection-independent evaluation (A2 = Y) | 54 (60%) | 9 (45%) |
| Fully or partly held-out evaluation (A2 = Y or P) | 81 (90%) | 19 (95%) |
| Headline measured on development signal (A1 = Y) | 8 (9%) | 4 (20%) |
| Audits across rounds or checkpoints (P1 = Y) | 39 (43%) | 6 (30%) |
| Two or more audited reruns (P3a = Y) | 20 (22%) | 5 (25%) |
| Budget-matched comparator (A4 = Y) | 33 (37%) | 4 (20%) |
| Work | arXiv | Dom. | A1 | A2 | P1 | P3a | A4 | A5 | P4 | Tier |
|---|---|---|---|---|---|---|---|---|---|---|
| STaR | 2203.14465 | V | N | P | N | N | P | N | N | E2 |
| Self-Instruct | 2212.10560 | M | N | Y | N | N | P | N | N | E2 |
| SPIN | 2401.01335 | M | N | Y | Y | N | P | N | N | E3 |
| Self-Rewarding | 2401.10020 | O | N | Y | Y | N | P | N | Y | E4 |
| Meta-Rewarding | 2407.19594 | O | N | P | Y | N | P | N | P | E3 |
| Absolute Zero | 2505.03335 | V | N | Y | Y | N | P | N | Y | E4 |
| Work | Dimension | Wu et al. description | Implied | Ours |
|---|---|---|---|---|
| Meta-Rewarding | Test separation | AlpacaEval 2; Arena-Hard; MT-Bench; separate judge prompts | Y | P |
| Promptbreeder | Test separation | Train-batch fitness; test splits (some random halves) | Y | Y |
| STOP | Test separation | 50 unseen LPN cases; 5 runs; 5 transfer tasks | Y | Y |
| ADAS | Test separation | ARC: 20 validation / 60 test tasks; 5 repeats; validation-guided search | Y | P |
| GEPA | Test separation | Train/validation/test | Y | Y |
| DGM | Test separation | full scores include search tasks; no strict holdout | P | P |
Recursive Self-Improvement
Recursive self-improvement studies AI systems that use feedback from their own work to modify and evaluate future versions.
See all 84 papers