VeriOCRBench - Logical Dimension (Proactive): 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; proactive paradigm: no verification instruction). Source: arxiv.org. Saturation forecast: Around 2038. 15 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Claude Sonnet 4.5 | 34.75 |
| 2 | Qwen 3.5 122B A10B | 19 |
| 3 | Llama 4 Scout | 17 |
| 4 | Qwen 3.5 35B A3B | 16 |
| 5 | GPT-4o | 14.75 |
| 6 | Qwen 3.5 397B A17B | 12 |
| 7 | Llama 4 Maverick | 11.75 |
| 8 | Gemini 3.1 Pro (Preview) | 11.5 |
| 9 | InternVL3-38B | 11.5 |
| 10 | GPT-5 | 6.25 |
Interactive version: theaggregate.ai/benchmark?slug=veriocrbench-logical-dimension-proactive · How It Works · Data refreshed daily, snapshot 2026-09-26.