Corollary

Research

  • New investigation
  • Papers

Library

  • Catalog

Account

  • Jobs
  • Billing
  • Developers
SettingsResearch demo · not for clinical or commercial use
Corollary
  1. Catalog

Library

Find the model or dataset for the question you have.

Ask in plain language and we will work out where the answer lives — or filter the index yourself. Almost everything here runs on our servers, from this page, with no setup.

Models
300
Datasets
248
Organisations
131

Labs, institutes and companies

Ready to run
21

Including 6 that run free and instantly

Looking for a particular value, not a particular dataset?Search schemas, rows and column statistics inside the data itself.

Things that work

Filtering

26 entries in Mathematics

Showing 26 of 26

aimo-validation-aimeAI-MOAIME I/II problems reformatted for AIMO challenge validation — 15-question integer-answer format, covering competition math at difficulty levels 5–9.Competition MathExplore
aimo-validation-amcAI-MOAMC 10/12 competition problems reformatted for AIMO challenge validation, covering algebra, geometry, and number theory at difficulty levels 1–5.Competition MathExplore
aimo-validation-math-level-4AI-MOLevel-4 MATH benchmark problems (pre-calculus difficulty) used for AIMO challenge validation and fine-grained model evaluation.Math ProblemsExplore
aimo-validation-math-level-5AI-MOLevel-5 MATH benchmark problems (highest difficulty) used for AIMO challenge validation and measuring the ceiling of model mathematical reasoning.Math ProblemsExplore
aops_rawAI-MORaw problem posts and discussion threads from the Art of Problem Solving forums, spanning AMC, AIME, and international olympiad competitions.Competition MathExplore
BixBenchfuturehouseBenchmark with 205 reproducible research questions paired with data capsules for AI evaluation.Research BenchmarkExplore
ChemBenchjablonkagroupManually curated benchmark of 3,000+ chemistry and materials science questions across spectroscopy, reactivity, synthesis, and property prediction for evaluating LLMs.Chemistry BenchmarkExplore
CombiBenchAI-MOCombinatorics problems drawn from AMC, AIME, and olympiad competitions, formalised for benchmarking discrete-mathematics reasoning in language models.CombinatoricsExplore
equational-theories-benchmarkSAIRfoundationFull benchmark suite of equational theory problems spanning algebraic structures, designed to evaluate formal reasoning capabilities of AI models.Mathematical ReasoningExplore
equational-theories-selected-problemsSAIRfoundationCurated selection of equational theory problems for benchmarking LLM mathematical reasoning and automated theorem proving.Mathematical ReasoningExplore
ether0-benchmarkfuturehouseChemistry reasoning benchmark covering SMILES-based tasks including reaction prediction, retrosynthesis, and molecular property estimation for evaluating chemistry LLMs.Chemistry BenchmarkExplore
GeometryLeanBenchAI-MOGeometry theorem proving problems formalised in Lean 4, covering Euclidean, affine, and metric geometry for automated reasoning evaluation.Theorem ProvingExplore
Kimina-Prover-PromptsetAI-MOPrompt-set for training and evaluating Kimina, a Lean 4 theorem prover that uses reinforcement learning over formal mathematical proofs.Theorem ProvingExplore
lab-benchfuturehouseLanguage Agent Biology Benchmark - 8 categories of scientific research tasks including cloning, figures, and protocols.Research BenchmarkExplore
MetaMathQAmeta-mathMathematical question-answering dataset for training and evaluating math reasoning.Math ProblemsExplore
minif2f_testAI-MOTest set for miniF2F formal mathematics benchmark.Theorem ProvingExplore
NuminaMath-1.5AI-MO860K+ competition math problems from 17 sources with verified solutions — the training backbone of the gold-medal solution at the 2024 AI Mathematical Olympiad.Math ProblemsExplore
NuminaMath-CoTAI-MONuminaMath with Chain-of-Thought reasoning annotations.Math ProblemsExplore
NuminaMath-LEANAI-MOMathematical problems formalized in LEAN proof assistant.Theorem ProvingExplore
NuminaMath-TIRAI-MONuminaMath with Tool-Integrated Reasoning annotations.Math ProblemsExplore
olympiadsAI-MOOlympiad-level mathematical problems collected from international and national competitions, formatted for training and evaluating mathematical reasoning models.Math Reasoning CorpusExplore
olympiads-refAI-MOExtended reference set of olympiad problems with verified step-by-step solutions, used for Chain-of-Thought and formal reasoning training.Competition MathExplore
olympiads-ref-baseAI-MOCanonical reference set of international and national mathematical olympiad problems, used as the base for downstream NuminaMath training splits.Competition MathExplore
principia-benchfacebookCurated benchmark of challenging STEM problems requiring multi-step reasoning, quantitative analysis, and domain knowledge across natural sciences.STEM BenchmarkExplore
principia-collectionfacebookLarge-scale STEM reasoning dataset from Meta covering mathematics, physics, chemistry, and biology problems for training and evaluating scientific reasoning in language models.STEM ReasoningExplore
spiqagoogleScientific Paper Image Question Answering benchmark requiring multimodal reasoning over figures, charts, and diagrams from research papers across scientific domains.Scientific BenchmarkExplore