CRAB-Bench (Generic User) - Abstract-State Verification: leaderboard
Metric: Abstract-state verification pass rate (%) with the generic tau2-bench-style user simulator without persona or behaviors; 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 December 2026. 4 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | DeepSeek V3.2 | 79 |
| 2 | GLM-5 | 70 |
| 3 | Qwen3 Coder Next | 63 |
| 4 | Claude Sonnet 4.6 | 62 |
Interactive version: theaggregate.ai/benchmark?slug=crab-bench-generic-user-abstract-state-verification · How It Works · Data refreshed daily, snapshot 2026-09-29.