CRAB-Bench - Abstract-State Verification: leaderboard
Metric: Abstract-state verification pass rate (%): share of tasks whose conversation passes factuality (actions match the stated plan) and completion (interaction ends correctly), with the RUSE human-aligned user simulator (personas sampled uniformly, all four behavior dimensions); 200 trip-booking tasks (departure and return flight, hotel, attraction) generated from constraint graphs with node and edge distractors, tau-bench framework, pass@1, default inference and reasoning settings, Claude Sonnet 4.6 simulates the user; higher is better. Source: arxiv.org. Saturation forecast: Around July 2027. 4 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | DeepSeek V3.2 | 79 |
| 2 | GLM-5 | 65 |
| 3 | Qwen3 Coder Next | 63 |
| 4 | Claude Sonnet 4.6 | 60 |
Interactive version: theaggregate.ai/benchmark?slug=crab-bench-abstract-state-verification · How It Works · Data refreshed daily, snapshot 2026-09-29.