VeriEvolve: Evaluator-First Evolution for Tool-Using Agents
The loop: VeriEvolve constructs and revises its own executable evaluator using agent run outcomes, which provides a better fitness signal for the next round of agent evolution.
An evaluator-first evolution framework that synthesizes and refines executable evaluators to provide reliable fitness signals for self-improving agents.







