VeriOCRBench - Logical Dimension (Proactive): leaderboard
The logical verification dimension of VeriOCRBench (Zhou et al., 2026): 400 OCR-grounded tasks with the traps logical paradox and missing variable, where the premise contradicts a visible relation or the task lacks a variable it needs. Diagnosis accuracy is the percentage on which the model both rejects the task and names the correct trap mechanism, judged by GPT-4o; higher is better. Proactive setting: the standard prompt, with no instruction to verify the task.
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; proactive paradigm: no verification instruction). Source: arxiv.org. 15 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Claude Sonnet 4.5 | 34.75 | #244 |
| 2 | Qwen 3.5 122B A10B | 19 | #329 |
| 3 | Llama 4 Scout | 17 | #1787 |
| 4 | Qwen 3.5 35B A3B | 16 | #480 |
| 5 | GPT-4o | 14.75 | #741 |
| 6 | Qwen 3.5 397B A17B | 12 | #242 |
| 7 | Llama 4 Maverick | 11.75 | #1105 |
| 8 | Gemini 3.1 Pro (Preview) | 11.5 | #91 |
| 9 | InternVL3-38B | 11.5 | #905 |
| 10 | GPT-5 | 6.25 | #163 |
Interactive version: theaggregate.ai/benchmark?slug=veriocrbench-logical-dimension-proactive · How It Works · Data refreshed daily, snapshot 2026-11-12.