ixio
← Leaderboard
model profile
Solid

QED-Nano

LM-Provers·qed-nano
Rank · overall#261
Score41.0

Benchmark scores

1 benchmarks
MathArena Apex1.6%
Accuracy

Across harnesses

0 agents

This model appears only in model-level benchmarks — no harness ran it directly.

Scraped and aggregated from public leaderboards · 2026-07-23