VeriOCRBench - Logical Dimension (Assisted): leaderboard
Metric: Diagnosis accuracy (%; the 400 trap-injected tasks of the logical verification dimension (logical paradox and missing variable: the premise contradicts a visible relation, or the task lacks a variable needed to solve it); the model must reject the task and name the ground-truth trap mechanism; judged by GPT-4o at temperature 0; assisted paradigm: a meta-instruction asks the model to verify the task first). Source: arxiv.org. Saturation forecast: Around July 2028. 15 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Qwen 3.5 397B A17B | 75.5 |
| 2 | Claude Sonnet 4.5 | 70.25 |
| 3 | GPT-5 | 69.5 |
| 4 | Qwen 3.5 35B A3B | 68 |
| 5 | Qwen 3.5 122B A10B | 67.25 |
| 6 | InternVL3-38B | 67 |
| 7 | GPT-4o | 62.75 |
| 8 | Llama 4 Maverick | 56.5 |
| 9 | Llama 4 Scout | 49.25 |
| 10 | Gemini 3.1 Pro (Preview) | 5 |
Interactive version: theaggregate.ai/benchmark?slug=veriocrbench-logical-dimension-assisted · How It Works · Data refreshed daily, snapshot 2026-09-26.