Alephprover
Alephprover is a model. It has 1 scored result in 1 category. It has no index.
IndexAll categories, out of 100.UnrankedMedian 51.0
CoverageIndex weight that has results.10%
SpeedOutput tokens per second.—Median 67/s
First tokenSeconds to the first output token.—Median 1.3 s
Input / 1MUS dollars per 1M input tokens.—Median $0.60
Output / 1MUS dollars per 1M output tokens.—Median $2.55
ContextMaximum tokens in one request.—Median 262K
EloLMArena rating and rank.—Median 1422
Capabilities
Index per category, out of 100.Results
1 countedBenchmarkThe benchmark name.ResultThe score from the source.PlacePlace among results on this benchmark.