VeriEvolve: Evaluator-First Evolution for Tool-Using Agents
We introduce VeriEvolve, an evaluator-first evolution framework that constructs this missing evaluation layer before optimizing the agent.
ProofPaper ↗
Key points
- A central obstacle to self-improving agents is the absence of a reliable fitness signal for realistic stateful tasks.
- From task instruction, VeriEvolve synthesizes instruction-grounded challenge states and an executable evaluator that checks them.
- Evaluator-guided evolution increases externally verified success from 6/30 to 18/30 for GLM-5.2 and from 27/30 to 30/30 for Claude; refinement removes all three false positives that the weak executor exposes.
- Cross-environment studies on PostgreSQL, Playwright, Notion, and GitHub further expose complementary limits from observability, state representation, and search/execution capacity.
Sources (1)
- [1]VeriEvolve: Evaluator-First Evolution for Tool-Using AgentsarXiv (AI, ML, NLP, CV, robotics, multi-agent) · Oct 21, 12:13 AM
We introduce VeriEvolve, an evaluator-first evolution framework that constructs this missing evaluation layer before optimizing the agent.
A central obstacle to self-improving agents is the absence of a reliable fitness signal for realistic stateful tasks.
Extractive summary: sentences quoted from the sources.
Before this
- Oct 20, 2026How Eon built multi-cloud investigation with an MCP Gateway on Amazon Bedrock AgentCore
- Oct 20, 2026How I built my ‘everything’ app
- Oct 20, 2026Exa 3.0 Search API Tops Perplexity, Brave and Parallel on 8 Benchmarks
- Oct 20, 2026Do Diffusion LLMs Scale? Testing Mercury 3 + Decide
- Oct 20, 2026Automating ML for Science: Can Frontier Agents Climb Scientific Hills in the Wild?
- Oct 19, 2026HarnessPro: Recursive Harness Self-Improvement with Pareto Optimization for Performance-Cost Trade-offs