lm-provers
❓ 1 model · 1 Benchmarks
Leaderboard position
#163
Company rank (of 237 companies)
Best model overall
825
Average Elo
1
Models
1
Benchmarks covered
Model highlights
Best model
#624
825 Elo · 1 benchmarks
Lowest-ranked model
#624
825 Elo · 1 benchmarks
Nearest competitor company
The company with the most similar benchmark results.
appeared as nearest in 1 of 1 benchmarks
1/1
100.0%
Models
| Rank | Model | ||
|---|---|---|---|
| ❓ | 624 | lm-provers: qed-nano | compare |