New: connect Claude & other AIs to GenAIList over MCP — research the catalog and contribute to the shared knowledge base. Learn how →
A head-to-head benchmark comparison of BFS-Prover across 0 evaluations.
Recent advancements in large language models (LLMs) have spurred growing interest in automatic theorem proving using Lean4, where effective tree search methods .
Full BFS-Prover specs →No shared benchmark scores found for these models yet.
This comparison covers 0 benchmarks on which at least one of the selected models has a published score.
Scores are aggregated from official model cards, technical reports and standard public evaluations, and link back to each benchmark's source. They are updated as new results are published.
Help us grow the database! Only the announcement link is required — we'll fetch the rest.
Missing a card? Drop the spec/announcement link — we'll verify the specs and add it. The link is the only required field.
Know an inference runtime we're missing (llama.cpp, vLLM, MLX, ComfyUI…)? Drop the link.
Spotted a wrong spec or an out-of-date price? Tell us and we'll verify it.
We'll send you a login code via email
