REVIEW 4 major objections 5 minor 38 references
Agent systems improve faster when their recurring failure modes are induced from their own traces and reused as a shared feedback vocabulary, rather than being re-diagnosed in free text on every run.
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 · deepseek-v4-flash
2026-08-01 21:09 UTC pith:5II3QEFS
load-bearing objection Real, reusable failure-taxonomy method with honest search/runtime evidence; the faithfulness validation might be in-sample and some headlines are single-run, but it deserves refereeing. the 4 major comments →
Fantastic Adaptive Taxonomies and How to Use Them
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper introduces AdaMAST, a pipeline that converts a target system's execution traces into a validated failure taxonomy: named failure codes organized along three fixed axes—system-level, role-specific, and domain-specific—with every code name, definition, and evidence pattern induced from the traces. No code is hand-authored and no trace is human-annotated; a taxonomy is accepted only after independent annotators apply it consistently to held-out traces, and it is refined online as the system evolves. Because the codes are grounded in observed evidence and partitioned by intervention point, the same taxonomy serves as a shared feedback interface for three otherwise dissimilar consumers:
What carries the argument
The central object is the induced failure taxonomy: a compact set of named failure codes arranged along three fixed axes (system-level, role-specific, domain-specific), where each code's name, definition, role label, and evidence pattern are generated from the target system's own traces rather than authored in advance. The three axes are fixed so taxonomies remain comparable across systems and every code maps to an intervention point, while the codes inside are entirely adaptive; a taxonomy is certified for deployment only when an inter-annotator agreement gate shows independent annotators applying it consistently to held-out traces, and online refinement merges, adds, or relabels codes as t
Load-bearing premise
The inter-annotator agreement gate and the human-faithfulness check are both run with LLM annotators rather than human experts, so if LLMs share systematic biases in labeling failures, the certification that a taxonomy is consistently applicable and human-faithful could be vacuous.
What would settle it
Have independent human experts apply an induced taxonomy to the same held-out traces used for the agreement gate; if human pairwise agreement falls well below the LLM panel's κ≥0.75 threshold, the certification collapses as an artifact of shared LLM bias.
If this is right
- Any trace-consuming improvement procedure—search, monitoring, selection—can consume the same induced taxonomy, so the one-time cost of building it is amortized across every downstream run.
- Taxonomy-coded diagnoses in mutation prompts outperform free-form reflection on all five tested benchmarks, with gains of +3.5 to +7.5 percentage points under matched search budgets.
- Anchoring runtime checkpoints to the induced vocabulary raises SWE-agent resolution on SWE-bench Verified Mini from 60% with free-text reflection and 68% with a fixed checklist to 70%, and Claude Code from 64.0% to 70.7%.
- A verifier built on the induced codes improves best-of-5 accuracy on Terminal-Bench 2.0 by 8–15 points over no selection, and held-out cross-validation meets or exceeds the same-pool result on non-saturated harnesses.
- The induced vocabulary is compact (~18× compression, 89% unique trace signatures), more faithful to expert failure labels than a hand-crafted vocabulary, and adaptive across domains (mean pairwise code overlap 0.14).
Where Pith is reading between the lines
- The amortization argument implies the taxonomy's value grows with the number of consumers and runs sharing it; the strongest test would be a long-horizon deployment where one vocabulary simultaneously feeds search, monitoring, and selection.
- Because passing trajectories fire fewer codes than failing ones, a simple 'fewest fired codes' heuristic could serve as a cheap, LLM-free selection baseline when a learned verifier is too expensive.
- Role-specific codes appear only when the architecture has differentiated roles, so the evolving share of role codes could serve as an implicit measure of architectural complexity and a trigger for splitting a flat agent into roles.
- The low cross-domain code overlap but higher overlap on system-level failures suggests a testable warm-start: induce a new domain's taxonomy seeded with the system-level axis of an existing one, then measure whether agreement and downstream gains arrive sooner.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes AdaMAST, an LLM-driven pipeline that induces a compact failure taxonomy from an agent system's execution traces along three fixed axes (system-level, role-specific, domain-specific), gates it by inter-annotator agreement among four LLM annotators, and then consumes the taxonomy as feedback in three settings: evolutionary agent-system search, runtime self-monitoring, and trajectory selection. The authors report consistent search gains over free-form reflection on five benchmarks, runtime resolution improvements on SWE-bench Verified Mini under two harnesses, best-of-5 selection gains on Terminal-Bench 2.0, and artifact-level properties (≈18× compression, area-κ=0.682 vs. 0.516 against expert TRAIL labels, mean cross-domain Jaccard 0.14). The paper is unusually thorough in its appendices, including matched comparisons, multi-seed ablations on small benchmarks, wrong-domain transfer checks, cost accounting, and explicit caveats about single-run transfer studies and non-causal mechanism traces.
Significance. If the central claims hold, AdaMAST provides a reusable, evidence-grounded failure vocabulary that can serve as an amortized feedback interface for multiple trace-consuming procedures, which is a genuinely useful idea. The paper's strengths include: a clear separation of induction from deployment, matched experimental comparisons that hold the surrounding procedure fixed, honest acknowledgment of format-null and substrate-sensitivity results, a functional-substitution protocol with two consumer models, and an unusually detailed appendix set with prompts, hyperparameters, and code-release information. The main weaknesses are that the 'human-faithful' validation rests on an unstated and potentially circular TRAIL split and on LLM annotators rather than human annotators, and that several headline numbers come from single-seed or single-run evaluations. These issues are fixable with additional experiments or more measured claims, so the paper is promising but not yet conclusive.
major comments (4)
- [§5.1, Appendix F.1] The TRAIL faithfulness comparison may be in-sample. The paper states 'No TRAIL labels are used to induce the AdaMAST taxonomy,' but it never states whether the 117 TRAIL traces used for evaluation were excluded from the trace pool used to induce the taxonomy. Since AdaMAST induces code names and evidence patterns directly from traces, evaluating on the same traces would make the κ=0.682 vs. 0.516 gap an expected consequence of fitting the evaluation set, not evidence of better correspondence to expert judgment. Please state the split explicitly; if the same traces were used, re-run with a held-out trace split or leave-traces-out cross-validation.
- [§3.1, §5.1 (Table 22)] The 'human-faithful' claim is supported only by LLM annotators. The IAA gate in §3.1 certifies LLM-LLM consistency, not correctness, and §5.1 measures agreement between an LLM panel and expert gold, not between human annotators and the induced taxonomy. If LLMs share systematic labeling biases, both the κ≥0.75 gate and the reported κ advantage could be vacuous. The same-model vs. cross-family comparison is a useful control, but it does not establish human applicability. Please either add a human-annotation study on a held-out subset or downgrade the claim from 'human-faithful' to 'LLM-applied alignment with expert gold.'
- [§4.3, Table 3] The runtime headline rests on a single seed for the SWE-agent arm: 35/50 vs. 34/50 is a one-instance difference, so the claimed +2 pp margin over MAST is within binomial noise. The Base→Reflexion→MAST→AdaMAST ladder is suggestive, but the SWE-agent arm needs multiple seeds or confidence intervals before the ordering can be treated as evidence. At minimum, the paper should not present the +2% over MAST as a robust finding. The Claude Code arm, with three seeds, is stronger.
- [§4.4, Appendix D] The trajectory-selection result does not isolate the adaptive vocabulary. AdaMAST-Judge routes codes through a learned forward selector and heuristic features; Tables 16 and 18 show that wrong-domain taxonomies and a 5-code truncation achieve the same accuracy, and D.5 indicates the selector carries most of the marginal effect. The paper concedes this in the text, but the abstract and contributions credit the selection gain to AdaMAST-Judge without this qualification. Please either add an ablation that varies only the vocabulary under the same selected feature set or explicitly reframe the selection section as an integration study rather than evidence for the induced vocabulary.
minor comments (5)
- [§1] There is a stray '0' after 'AdaMAST(Adaptive Multi-Agent System Failure Taxonomies), 0 which induces'. Please remove.
- [§3] 'we avoidinferdeliberately' is missing a space/formatting; should read 'we avoid infer deliberately.'
- [Table 5] Header contains a typo: 'V ocabulary' should be 'Vocabulary.'
- [§5.4 / Appendix E] The compression numbers are reported with several proxies (gzip, raw characters, token-cost proxy). Please clarify which number corresponds to the '∼18×' headline and state whether the taxonomy text is amortized in each reported figure.
- [Appendix B.4] The sentence 'No TRAIL labels are used to induce the AdaMAST taxonomy' is easy to misread as 'no TRAIL data are used.' Please rephrase to explicitly state whether TRAIL traces were used and how the evaluation split was handled.
Circularity Check
TRAIL faithfulness comparison may be in-sample: no held-out trace split is stated
specific steps
-
fitted input called prediction
[Section 5.1, Table 5; Appendix F.1]
"A four-LLM panel applies theAdaMAST-induced TRAIL taxonomy using span-grounded prompts, one round of peer deliberation, and majority vote. ... We use TRAIL only as an external validation set; no TRAIL labels are used to induce theAdaMASTtaxonomy."
The paper's only external check that the induced codes are human-recognizable compares κ=0.682 (AdaMAST-induced TRAIL taxonomy) with κ=0.516 (TRAIL hand-crafted) on the same 117 TRAIL traces. The stated exclusion is labels only: 'no TRAIL labels are used to induce the AdaMAST taxonomy.' The manuscript never states that the 117 TRAIL traces were excluded from induction, and it explicitly calls the taxonomy 'AdaMAST-induced TRAIL.' If the taxonomy was induced from those traces, the vocabulary is built from the same traces whose expert labels are the prediction target; the κ advantage is then an in-sample fit, not evidence that the codes generalize to human judgment. The absence of a stated held-out trace split is the gap.
full rationale
Most of the paper's downstream evaluations are external and controlled: search uses held-out OlympiadBench sets and multi-seed small-benchmark replications, runtime uses a cross-domain OfficeQA transfer with a taxonomy induced from separate baseline transcripts, trajectory selection uses leave-one-task-out cross-validation, and functional substitution predicts held-out run success from a taxonomy induced from a disjoint pool. The taxonomy is not fitted to the target outcome (resolution/accuracy), and the LLM-based IAA gate is explicitly labeled by the authors as certifying consistency, not correctness ('This gate certifies that the taxonomy is consistently applicable; it does not certify that its codes are correct'). Self-citations to MAST and AdaEvolve are present but used as baselines/backbones, not as load-bearing justification for the central claims. The one significant circularity concern is the TRAIL faithfulness validation: the paper says TRAIL labels were not used to induce the taxonomy, but never states that the 117 TRAIL traces themselves were held out. Since the taxonomy is called 'AdaMAST-induced TRAIL,' the κ=0.682 vs 0.516 comparison may be in-sample, making the 'human-faithful' claim partly circular. This is a single, conditional gap in an otherwise externally validated paper, so the score is moderate rather than high.
Axiom & Free-Parameter Ledger
free parameters (10)
- IAA kappa threshold =
0.75
- coverage floor =
0.70
- warmup rounds (Nwarm) =
5
- stagnation window (w) =
10 iterations
- stagnation threshold (epsilon) =
0.10
- min refine interval (rmin) =
10 iterations
- population size =
20
- number of islands =
3
- migration interval =
8 iterations
- feedback codes injected (K) =
5-7
axioms (5)
- domain assumption The three fixed axes (system-level, role-specific, domain-specific) partition failures by intervention point.
- domain assumption LLM annotators' inter-annotator agreement (kappa>=0.75) is a sufficient gate for taxonomy deployability.
- domain assumption The induced taxonomy generalizes from the induction pool to held-out traces.
- standard math Cohen's kappa and Jaccard similarity are appropriate measures for taxonomy agreement and overlap.
- domain assumption The target system's traces are representative of its failure modes.
read the original abstract
An agent system's execution traces record how it fails, and procedures that improve such a system without changing model weights (trajectory selection, prompt and workflow optimization, runtime monitoring) read these traces for feedback. Yet raw traces are a poor medium for accumulating that feedback: long, instance-specific, and lacking a stable vocabulary for recurring failures. We argue that an agent system should instead maintain an explicit representation of how it fails, induced from its own behavior and reusable wherever failure feedback is needed. AdaMAST builds this representation by converting a target system's traces into a compact, evidence-grounded failure taxonomy: named failure codes organized along three fixed axes (system-level, role-specific, and domain-specific), with every name, definition, and evidence pattern induced from the traces; no code is hand-authored, no trace human-annotated. The taxonomy is not merely a post-hoc diagnostic but a shared feedback interface, improving agents in three ways. In agent-system search, taxonomy-coded diagnoses of failed candidates outperform free-form reflection on all five benchmarks we test. At runtime, taxonomy feedback raises SWE-agent's resolution on SWE-bench Verified Mini from 60% with free-text reflection to 70%, and improves Claude Code from 64.0% to 70.7% as a runtime skill. In trajectory selection, AdaMAST-Judge, a verifier built on the induced codes, improves best-of-5 accuracy on Terminal-Bench 2.0 by 8-15 points over Pass@1. The vocabulary itself is compact (an order-of-magnitude compression that preserves trace distinctions), human-faithful (matching expert failure annotations more closely than a hand-crafted reference vocabulary), and adaptive (taxonomies induced for different domains share few codes). Adaptive failure taxonomies close the loop between the traces agents produce and the procedures that improve them.
Figures
Reference graph
Works this paper leans on
-
[1]
L. A. Agrawal, S. Tan, D. Soylu, N. Ziems, R. Khare, K. Opsahl-Ong, A. Singhvi, H. Shandilya, M. J. Ryan, M. Jiang, et al. Gepa: Reflective prompt evolution can outperform reinforcement learning.arXiv preprint arXiv:2507.19457, 2025
Pith/arXiv arXiv 2025
-
[2]
Claude code
Anthropic. Claude code. https://docs.anthropic.com/en/docs/claude-code/ overview, 2025. Accessed: 2026-05-07
2025
-
[3]
Cemri, M
M. Cemri, M. Z. Pan, S. Yang, L. A. Agrawal, B. Chopra, R. Tiwari, K. Keutzer, A. Parameswaran, D. Klein, K. Ramchandran, M. Zaharia, J. E. Gonzalez, and I. Stoica. Why do multi-agent llm systems fail? InAdvances in Neural Information Processing Systems, 2025
2025
- [4]
-
[5]
W. Chen, M. Yin, M. Ku, P. Lu, Y . Wan, X. Ma, J. Xu, X. Wang, and T. Xia. Theoremqa: A theorem-driven question answering dataset. InProceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pages 7889–7901, 2023
2023
-
[6]
Cheng, A
C.-A. Cheng, A. Nie, and A. Swaminathan. Trace is the next AutoDiff: Generative optimization with rich feedback, execution traces, and LLMs. InAdvances in Neural Information Processing Systems (NeurIPS), 2024
2024
-
[7]
D. Deshpande, V . Gangal, H. Mehta, J. Krishnan, A. Kannappan, and R. Qian. TRAIL: Trace reasoning and agentic issue localization.arXiv preprint arXiv:2505.08638, 2025
Pith/arXiv arXiv 2025
-
[8]
D. Dua, Y . Wang, P. Dasigi, G. Stanovsky, S. Singh, and M. Gardner. DROP: A reading comprehension benchmark requiring discrete reasoning over paragraphs. InProceedings of NAACL-HLT, pages 2368–2378, 2019
2019
-
[9]
Eyuboglu, M
S. Eyuboglu, M. Varma, K. Saab, J.-B. Delbrouck, C. Lee-Messer, J. Dunnmon, J. Zou, and C. Ré. Domino: Discovering systematic errors with cross-modal embeddings. InInternational Conference on Learning Representations (ICLR), 2022. 13
2022
-
[10]
C. Fernando, D. Banarse, H. Michalewski, S. Osindero, and T. Rocktäschel. Promptbreeder: Self-referential self-improvement via prompt evolution.arXiv preprint arXiv:2309.16797, 2023
Pith/arXiv arXiv 2023
-
[11]
Q. Guo, R. Wang, J. Guo, et al. Connecting large language models with evolutionary algorithms yields powerful prompt optimizers. InInternational Conference on Learning Representations (ICLR), 2024
2024
-
[12]
S. Hu, C. Lu, and J. Clune. Automated design of agentic systems. InInternational Conference on Learning Representations (ICLR), 2025
2025
-
[13]
A. S. Jia, D. Huang, N. Vytla, S. W. W. Yoo, N. Choudhury, S. Sen, J. C. Mitchell, and A. Datta. What is your agent’s GPA? a framework for evaluating agent goal-plan-action alignment.arXiv preprint arXiv:2510.08847, 2025
arXiv 2025
-
[14]
Khattab et al
O. Khattab et al. DSPy: Compiling declarative language model calls into state-of-the-art pipelines. InInternational Conference on Learning Representations (ICLR), 2024
2024
-
[15]
J. Kwok, S. Li, P. Atreya, Y . Liu, Y . Jiang, C. Finn, M. Pavone, I. Stoica, and A. Mirhoseini. Llm-as-a-verifier: A general-purpose verification framework, 2026
2026
-
[16]
Lightman, V
H. Lightman, V . Kosaraju, Y . Burda, et al. Let’s verify step by step. InInternational Conference on Learning Representations (ICLR), 2024
2024
-
[17]
S. Liu, S. Agarwal, M. Maheswaran, M. Cemri, Z. Li, Q. Mang, A. Naren, E. Boneh, A. Cheng, M. Z. Pan, et al. Evox: Meta-evolution for automated discovery.arXiv preprint arXiv:2602.23413, 2026
arXiv 2026
-
[18]
Madaan et al
A. Madaan et al. Self-refine: Iterative refinement with self-feedback. InAdvances in Neural Information Processing Systems (NeurIPS), 2023
2023
-
[19]
Q. Mang, W. Chai, Z. Li, H. Mao, S. Zhou, A. Du, H. Li, S. Liu, E. Chen, Y . Wang, et al. Frontier-CS: Evolving challenges for evolving intelligence, 2025. URL https://arxiv.org/ abs/2512.15699
arXiv 2025
-
[20]
N. McAleese, R. M. Pokorny, J. F. C. Uribe, E. Nitishinskaya, M. Trebacz, and J. Leike. Llm critics help catch LLM bugs.arXiv preprint arXiv:2407.00215, 2024
Pith/arXiv arXiv 2024
-
[21]
M. A. Merrill, A. G. Shaw, N. Carlini, B. Li, H. Raj, I. Bercovich, L. Shi, J. Y . Shin, T. Walshe, E. K. Buchanan, et al. Terminal-bench: Benchmarking agents on hard, realistic tasks in command line interfaces.arXiv preprint arXiv:2601.11868, 2026
Pith/arXiv arXiv 2026
-
[22]
A. Novikov, M. Balog, S. Chaudhuri, et al. AlphaEvolve: A coding agent for scientific and algorithmic discovery.arXiv preprint arXiv:2506.13131, 2025
Pith/arXiv arXiv 2025
-
[23]
M. Z. Pan, N. Arabzadeh, R. Cogo, et al. Measuring agents in production.arXiv preprint arXiv:2512.04123, 2026
Pith/arXiv arXiv 2026
-
[24]
M. T. Ribeiro, T. Wu, C. Guestrin, and S. Singh. Beyond accuracy: Behavioral testing of nlp models with CheckList. InAssociation for Computational Linguistics (ACL), 2020
2020
-
[25]
Romera-Paredes, M
B. Romera-Paredes, M. Barekatain, A. Novikov, et al. Mathematical discoveries from program search with large language models.Nature, 625:468–475, 2024
2024
-
[26]
Shinn, F
N. Shinn, F. Cassano, A. Gopinath, et al. Reflexion: Language agents with verbal reinforcement learning. InAdvances in Neural Information Processing Systems (NeurIPS), 2023
2023
-
[27]
C. Snell, J. Lee, K. Xu, and A. Kumar. Scaling llm test-time compute optimally can be more effective than scaling model parameters.arXiv preprint arXiv:2408.03314, 2024
Pith/arXiv arXiv 2024
-
[28]
ForgeCode: An open-source multi-agent coding harness
TailcallHQ. ForgeCode: An open-source multi-agent coding harness. https://github.com/ tailcallhq/forgecode; https://forgecode.dev, 2026. Top-ranked open-source agent on Terminal-Bench 2.0 (Pass@1 81.8% with the Forge harness). 14
2026
-
[29]
Y . Wang, X. Ma, G. Zhang, Y . Ni, A. Chandra, S. Guo, W. Ren, A. Arulraj, X. He, Z. Jiang, T. Li, M. Ku, K. Wang, A. Zhuang, R. Fan, X. Yue, and W. Chen. MMLU-Pro: A more robust and challenging multi-task language understanding benchmark. InAdvances in Neural Information Processing Systems (NeurIPS), Datasets and Benchmarks Track, 2024
2024
-
[30]
J. Yang, C. E. Jimenez, A. Wettig, K. Lieret, S. Yao, K. Narasimhan, and O. Press. Swe- agent: Agent-computer interfaces enable automated software engineering.arXiv preprint arXiv:2405.15793, 2024
Pith/arXiv arXiv 2024
-
[31]
S. Yuan et al. EvoAgent: Towards automatic multi-agent generation via evolutionary algorithms. arXiv preprint arXiv:2406.14228, 2024
Pith/arXiv arXiv 2024
-
[32]
M. Yuksekgonul, F. Bianchi, J. Boen, et al. TextGrad: Automatic “differentiation” via text. arXiv preprint arXiv:2406.07496, 2024
Pith/arXiv arXiv 2024
-
[33]
Zhang, J
J. Zhang, J. Xiang, Z. Yu, et al. AFlow: Automating agentic workflow generation. InInterna- tional Conference on Learning Representations (ICLR), 2025
2025
-
[34]
L. Zhang, A. Hosseini, H. Bansal, M. Kazemi, A. Kumar, and R. Agarwal. Generative verifiers: Reward modeling as next-token prediction.arXiv preprint arXiv:2408.15240, 2024
Pith/arXiv arXiv 2024
-
[35]
S. Zhang, M. Yin, J. Zhang, J. Liu, Z. Han, J. Zhang, B. Li, C. Wang, H. Wang, Y . Chen, and Q. Wu. Which agent causes task failures and when? on automated failure attribution of LLM multi-agent systems.arXiv preprint arXiv:2505.00212, 2025
Pith/arXiv arXiv 2025
-
[36]
Zheng, W.-L
L. Zheng, W.-L. Chiang, Y . Sheng, et al. Judging LLM-as-a-judge with MT-Bench and chatbot arena. InAdvances in Neural Information Processing Systems (NeurIPS), 2023
2023
-
[37]
M. Zhuge et al. GPTSwarm: Language agents as optimizable graphs. InProceedings of the International Conference on Machine Learning (ICML), 2024. 15 A Generated Taxonomy Examples This appendix presents representative induced taxonomies. For each benchmark, we report a short context paragraph and the top-five failure codes by firing frequency. The full mach...
arXiv 2024
-
[38]
Output: FINAL ANSWER: Please provide the problem statement
that must agree on a category. CIs are 95% percentile intervals from 2000 trace-level bootstrap resamples. Methodology thr=1 95% CI thr=2 95% CI thr=3 95% CI Cross-family 4-panel (no grounding) 0.682[0.608,0.754]0.500[0.476,0.611]0.307[0.236,0.380] +1-round deliberation 0.692[0.620,0.764]0.590[0.517,0.665]0.439[0.354,0.524] Same-model 4×GPT-5.4 0.625[0.54...
2000
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.