Best verification score by lab
Highest-scoring model per lab · higher is better
- 1
AnthropicClaude Opus 5.585.0
- 2
GoogleGemini 4 Argon84.8
- 3
OpenAIGPT-5.3-Codex82.5
- 4
SpaceXAIGrok 4.780.0
- 5
MetaMuse Wonder78.8
- 6
MoonshotAIKimi K3.1 Pro77.5
- 7
QwenQwen3.8 Max (0902)75.0
- 8
DeepSeekDeepSeek V4.1 Flash 101773.8
- 9
XiaomiMiMo-V2.6-Pro68.8
- 10
Thinking MachinesInkling Small67.5 - 11
Z.aiGLM 5.3 Flash67.5
- 12
MiniMaxMiniMax M3.1 Flash66.2
- 13
StepFunStep 5 Preview63.8
- 14
NVIDIANemotron 3 Ultra60.0
- 15
TencentHy358.8
- 16
InceptionMercury 2.558.2
- 17
MistralMistral Large 450.0
- 18
MeituanLongCat 2.048.8
- 19
CohereCommand A45.0
- 20
UpstageSolar Pro 445.0
- 21
inclusionAILing 3.1 Flash41.2 - 22
MicrosoftPhi 441.2
- 23
IBMGranite 4.2 8B36.2
- 24
Arcee AITrinity Large Thinking28.8
- 25
NousHermes 4 405B26.2
- 26
AmazonNova Micro 1.022.5
- 27
rekaaiReka Flash 31.2