AgentProofBench: Benchmarking Reusable Verifiers for Web Agents

arXiv:2610.34634 · cs.MA, cs.AI, cs.SE · Submitted 2026-10-25 · Read on arXiv

cs.MA, cs.AI, cs.SE

Submitted: 2026-10-25

Updated: 2026-10-25

Terminology

• Benchmarking — 1× in this paper · explained in 4 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Related papers

• Highway Congestion Reduction through Reinforcement Learning Based Eulerian Headway Control
• Auditable and Deployable Multi-Agent Motion Planning via Posetal Games from Legal Guidelines
• ORACLE-SWE: Quantifying the Contribution of Critical Information Signals on SWE Agents
• You Only Align Once: Propagating Cooperative Behaviors in Multi-Agent Systems through Seed Agents
• Deny Without Disabling: Authorization-Paired Evaluation and Control for Multi-Agent Systems
• MA-SAPO: Multi-Agent Reasoning for Score-Aware Prompt Optimization