LM-Provers AI models
1 MODELS TRACKED1 published LM-Provers models are tracked, with QED-Nano carrying the deepest benchmark surface (10 results). Every score is source-attributed with a verification tier; every model opens its full dossier.
● LIVE ROSTER1 MODELSDATA AS OF August 23, 2026 UTCREFRESHES WITH THE PIPELINE
The rosterRANKED BY BENCHMARK SURFACE
#ModelBenchmarksStatusInput priceLast seen
Benchmark counts are source-attributed default-configuration results; input price is the cheapest current per-Mtok rate across tracked providers. Open a model for its full surface.
Other vendorsAlibabaGoogleOpenAIMistralDeepSeekAnthropicNVIDIASpaceXAILiquid AIIBMMetaMicrosoftXiaomiZ.ai01.AIByteDanceMoonshotCohereInclusionAITencentMiniMaxAI21AllenAIStepFunMBZUAIAmazonUpstageOpenGVLabOpenBMBPerplexityWriterBaiduLG AIAleph AlphaSapiens AIMotif TechnologiespoolsideChina MobileSarvam AI