ProofBench v1.1
Version 1.1-updated-2026-10-291 configuration · Publisher-run · Experimental conversion
1,070Best score · Not specified
Explore ProofBench v1.1 aristotle / Published benchmarks
aristotle/aristotle
Benchmark results and API pricing.
API pricing
USD / 1M tokensVerified pricing is unavailable for this model.
Lumina VerifiedLumina checked the published sources, versions, model labels, score extraction and conversion. External evaluations were run by their publishers; Lumina has not independently rerun or reproduced them.