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 Aristotle across 0 evaluations.
Our first research result is Aristotle: an automated theorem prover advancing the state of the art on MiniF2F. This standard benchmark measures problem-solving .
Full Aristotle 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