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
309
Datasets
254
Organisations
148

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.
Every model, A–Z309
  • AbLang2Oxford Protein Informatics Group
  • ABMIL (CONCH v1.5 features, pc108-24k)MahmoodLab
  • ABMIL (UNI features, pc108-24k)MahmoodLab
  • ABMIL (UNI2 features, pc108-24k)MahmoodLab
  • ACE2-ERA5allenai
  • ADMET-AISwanson et al., Stanford
  • AIFS ENS 1.0ecmwf
  • AIFS ENS 2.0ecmwf
  • AIFS Single 0.2.1ecmwf
  • AIFS Single 1.0ecmwf
  • AIFS Single 1.1ecmwf
  • AIFS Single 2.0ecmwf
  • AIMNet2 (B97-3c, 2025)isayevlab
  • AIMNet2 ωB97M-D3isayevlab
  • AIMNet2-NSEisayevlab
  • AIMNet2-Pdisayevlab
  • AIMNet2-rxnisayevlab
  • Aion Basepolymathic-ai
  • AlphaFlow / BioEmuMIT / Microsoft Research
  • AlphaFold DB LookupDeepMind / EMBL-EBI
  • AlphaFold2DeepMind (served as BioNeMo NIM)
  • AlphaGenomegoogle
  • AmberToolsAmber consortium
  • ANARCIOxford Protein Informatics Group
  • AntiFoldHummer et al., DTU
  • AQAffinitySandboxAQ
  • AstroCLIPpolymathic-ai
  • AstroLLaMAUniverseTBD
  • Auroramicrosoft
  • AutoDock VinaScripps Research
  • AutoDock-GPUScripps Research
  • AVES2-BEATsEarthSpeciesProject
  • BindCraftOvchinnikov Lab / Baker Lab
  • BioCLIP 2imageomics
  • BioEmumicrosoft
  • BioMedGPT-R1PharMolix / OpenBioMed
  • BioReason-Pro RLwanglab
  • BioReason-Pro SFTwanglab
  • BioVERSEIBM Research
  • BOA — Basis Overlap Architecturesciai-lab
  • Boltz-2MIT × Recursion
  • Botanic0-Lliving-models
  • Botanic0-Mliving-models
  • Botanic0-Sliving-models
  • Botanic1-Lliving-models
  • Botanic1-Mliving-models
  • Botanic1-M SAE (k=64, codebook 8192)living-models
  • Botanic1-Sliving-models
  • Carbon-3BHuggingFaceBio
  • Carbon-500MHuggingFaceBio
  • Carbon-8BHuggingFaceBio
  • Carbon-AHugging Face, from GENERanno (Gener Team)
  • Carbon-XHugging Face, Zhongguancun Academy and TIGEM
  • cBottlenvidia
  • CellFMMulti-institution consortium
  • Chai-1Chai Discovery
  • ChatNTInstaDeepAI
  • Chemprop D-MPNN — toxicity panelSwanson et al., Stanford · Chemprop, MIT
  • Clinical Camel 70Bwanglab
  • ColabFoldSteinegger Lab
  • CoLiPRImicrosoft
  • CONCHMahmoodLab
  • CONCH v1.5MahmoodLab
  • CYP Inhibition Modelopenadmet
  • DeepSpot-Mratschlab
  • DiffDockMIT / Barzilay Lab
  • DiffDock-PPMIT
  • DiffLinkerCorreia Lab / EPFL
  • DiffSBDDCorreia Lab / EPFL
  • DNABERT-2Zhou et al., Northwestern
  • DoctoBERT-fr-basedoctolib-lab
  • DoctoModernBERT-fr-basedoctolib-lab
  • DPLM-2Nanjing University / ByteDance
  • EnformerDeepMind
  • Equiformer v3mirror-physics
  • ESM-IF1Meta FAIR
  • ESM2-3BMeta FAIR
  • ESM2-650MMeta FAIR
  • ESMC 300Mbiohub
  • ESMC 300M (Dec 2024)biohub
  • ESMC 600Mbiohub
  • ESMC 600M (Dec 2024)biohub
  • ESMC 6Bbiohub
  • ESMFoldMeta AI (FAIR)
  • ESMFold2biohub
  • ESMFold2-Experimentalbiohub
  • ESMFold2-Experimental-Fastbiohub
  • ESMFold2-Fastbiohub
  • ether0futurehouse
  • eva-rnaScientaLab
  • Evo 2Arc Institute / Stanford
  • EVOLVEproHarvard / Broad Institute
  • FlashPPItattabio
  • FourCastNet 3nvidia
  • GalacticaMeta AI
  • GENA-LM BERT base (T2T)AIRI-Institute
  • GENA-LM BERT large (T2T)AIRI-Institute
  • GeneformerTheodoris et al., Gladstone Institutes
  • Genos 1.2BZhejiangLab
  • gLM2 650Mtattabio
  • GninaKoes Lab / University of Pittsburgh
  • GO-GPTwanglab
  • GROMACSGROMACS consortium
  • GROVERTsinghua University
  • HEST Tissue SegmentationMahmoodLab
  • HiRO-ACEallenai
  • HuatuoGPT-Vision 7BFreedomIntelligence
  • IgFoldRuffolo et al., Johns Hopkins
  • ImmuneBuilderOxford Protein Informatics Group
  • Indus SDE v0.2nasa-impact
  • IntelliFoldIntelliGen AI
  • Kimina-Prover Distill 1.7BAI-MO
  • Kimina-Prover Distill 8BAI-MO
  • Kimina-Prover Preview Distill 7BAI-MO
  • KRONOSMahmoodLab
  • La-RiboGENTEL Lab, Shanghai Jiao Tong University
  • LigandMPNNBaker Lab / UW IPD
  • LULA-1.1omtx
  • MACE-MP-0mace-foundations
  • MACE-MPA-0mace-foundations
  • MadeleineMahmoodLab
  • Make-A-Shape · multi-view 20MADSKAILab
  • Make-A-Shape · point-cloud 20MADSKAILab
  • Make-A-Shape · single-view 20MADSKAILab
  • Make-A-Shape · voxel 16³ADSKAILab
  • Make-A-Shape · voxel 32³ADSKAILab
  • MAMMALIBM Research
  • MAMMAL solubilityIBM Research
  • MarinDNA m5.1 1B base modelmarin-dna
  • MatterGenmicrosoft
  • MedASRgoogle
  • MedGemma 1.5 4Bgoogle
  • MedGemma 27Bgoogle
  • MedSAMwanglab
  • MedSigLIPgoogle
  • MegaMolBARTNVIDIA / BioNeMo
  • MIST 1.8B · ⟨R²⟩mist-models
  • MIST 1.8B · BACEmist-models
  • MIST 1.8B · BBBPmist-models
  • MIST 1.8B · ClinToxmist-models
  • MIST 1.8B · Cvmist-models
  • MIST 1.8B · ESOLmist-models
  • MIST 1.8B · FreeSolvmist-models
  • MIST 1.8B · G298mist-models
  • MIST 1.8B · H298mist-models
  • MIST 1.8B · HIVmist-models
  • MIST 1.8B · HOMOmist-models
  • MIST 1.8B · HOMO-LUMO gapmist-models
  • MIST 1.8B · Lipomist-models
  • MIST 1.8B · LUMOmist-models
  • MIST 1.8B · QM8mist-models
  • MIST 1.8B · SIDERmist-models
  • MIST 1.8B · Tox21mist-models
  • MIST 1.8B · U0mist-models
  • MIST 1.8B · U298mist-models
  • MIST 1.8B · ZPVEmist-models
  • MIST 1.8B · α (polarizability)mist-models
  • MIST 1.8B · μ (dipole)mist-models
  • MIST 1.8B basemist-models
  • MIST 26.9M · boiling pointmist-models
  • MIST 26.9M · dnmist-models
  • MIST 26.9M · flash pointmist-models
  • MIST 26.9M · melting pointmist-models
  • MIST 26.9M · odourmist-models
  • MIST 27.0M · conductivitymist-models
  • MIST 27.1M · ETNmist-models
  • MIST 28M · BACEmist-models
  • MIST 28M · BBBPmist-models
  • MIST 28M · ClinToxmist-models
  • MIST 28M · ESOLmist-models
  • MIST 28M · FreeSolvmist-models
  • MIST 28M · HIVmist-models
  • MIST 28M · Lipomist-models
  • MIST 28M · MUVmist-models
  • MIST 28M · pKamist-models
  • MIST 28M · QM8mist-models
  • MIST 28M · SIDERmist-models
  • MIST 28M · solvent propertiesmist-models
  • MIST 28M · tmQMmist-models
  • MIST 28M · Tox21mist-models
  • MIST 28M · ToxCastmist-models
  • MIST 28M basemist-models
  • MIST mixturesmist-models
  • ML4Floodsisp-uv-es
  • MM/GBSAAmber consortium
  • MMPT-FMMerck
  • ModernGENA baseAIRI-Institute
  • ModernGENA largeAIRI-Institute
  • Molecular Property CalculatorCorollary Labs
  • MolFormerIBM Research
  • MolMIMNVIDIA BioNeMo
  • MosaicAMLab-UvA
  • NASA-SMD-IBMnasa-impact
  • NatureLM-audioEarthSpeciesProject
  • Nessorecursionpharma
  • NexaMass V3 StructAethronPhantom
  • NTv3 650MInstaDeepAI
  • Nucleotide Transformer 2.5BInstaDeepAI
  • Nucleotide Transformer v2InstaDeep / Wellcome Sanger
  • OC25facebook
  • OlmoEarth v1 Baseallenai
  • OlmoEarth v1 FT — AWF (Base)allenai
  • OlmoEarth v1 FT — Ecosystem Type Mapping (Base)allenai
  • OlmoEarth v1 FT — Forest Loss Driver (Base)allenai
  • OlmoEarth v1 FT — LFMC (Base)allenai
  • OlmoEarth v1 FT — Mangrove (Base)allenai
  • OlmoEarth v1 Largeallenai
  • OlmoEarth v1 Nanoallenai
  • OlmoEarth v1 Tinyallenai
  • OlmoEarth v1.1 Baseallenai
  • OlmoEarth v1.1 Nanoallenai
  • OlmoEarth v1.1 Tinyallenai
  • OlmoEarth v1.2 Baseallenai
  • OlmoEarth v1.2 Nanoallenai
  • OlmoEarth v1.2 Smallallenai
  • OlmoEarth v1.2 Tinyallenai
  • OMat24facebook
  • OMC25facebook
  • OmegaFoldHeliXon
  • OMol25facebook
  • OneGenome-RiceZhejiangLab
  • OpenDDEaurekaresearch
  • OpenFE / LomapOpen Free Energy consortium
  • OpenFoldAlQuraishi Lab / Columbia
  • OpenFold3OpenFold
  • OpenMed AnatomyDetectOpenMed
  • OpenMed BloodCancerDetectOpenMed
  • OpenMed ChemicalDetectOpenMed
  • OpenMed DiseaseDetectOpenMed
  • OpenMed DNADetectOpenMed
  • OpenMed GenomeDetectOpenMed
  • OpenMed GenomicDetectOpenMed
  • OpenMed OncologyDetectOpenMed
  • OpenMed OrganismDetectOpenMed
  • OpenMed PathologyDetectOpenMed
  • OpenMed PharmaDetectOpenMed
  • OpenMed ProteinDetectOpenMed
  • OpenMed SpeciesDetectOpenMed
  • OpenMMChodera Lab / Stanford
  • OpenPhenomrecursionpharma
  • OrbMolOrbital-Materials
  • p-IgGenopig
  • PaperQA2 (Crow)FutureHouse
  • ParagraphDeane Lab / Oxford
  • Path Foundationgoogle
  • PDB Structure FetchRCSB Protein Data Bank
  • PeptiVerseChatterjeeLab
  • PhenoSeqSentinal4D
  • ProGen2Salesforce Research
  • Promerabjing-mit
  • ProteinMPNNBaker Lab
  • Protenix-RNALiteFold
  • PXR Activation Modelopenadmet
  • QAMASBeard Lab / Randall et al.
  • Reaction prediction and fingerprintsSagawa & Kaneko · IBM RXN
  • REINVENT 4AstraZeneca
  • RetroChimeraMicrosoft Research AI for Science
  • RFDiffusionBaker Lab / Institute for Protein Design
  • Rhaistertahoebio
  • RoseTTAFold All-AtomBaker Lab / UW
  • RudolfV 2Aignostics
  • SamudrACE-E3SMv3allenai
  • SapiensAstraZeneca / Prihoda et al.
  • SaProtSu et al., Westlake University
  • SCENIC+ / pySCENICVIB-KU Leuven
  • scGPTUniversity of Toronto
  • SE-600Marcinstitute
  • SEALMahmoodLab
  • Sequence AnalyticsCorollary Labs
  • ShEPhERD-2Coley Research Group, MIT
  • Skala 1.0microsoft
  • Skala 1.1microsoft
  • SMINAKoes Lab
  • STACK Largearcinstitute
  • Stack-Large Alignedarcinstitute
  • StarCOPisp-uv-es
  • StormCast V1nvidia
  • SuperIXisp-uv-es
  • Surya 1.0nasa-ibm-ai4science
  • Surya Solar Flaresnasa-ibm-ai4science
  • Surya Solar Windnasa-ibm-ai4science
  • Tahoe-100M-SCVItahoebio
  • Tahoe-x1tahoebio
  • TEDDYMerck
  • TimesFM 2.5Google Research
  • TITANMahmoodLab
  • TxGemma 27B Chatgoogle
  • TxGemma 27B Predictgoogle
  • TxGemma 2Bgoogle
  • TxGemma 9B Chatgoogle
  • TxGemma 9B Predictgoogle
  • UMAfacebook
  • UNIMahmoodLab
  • UNI2-hMahmoodLab
  • WaLa DM1 1BADSKAILab
  • WaLa DM4 1BADSKAILab
  • WaLa DM6 1BADSKAILab
  • WaLa MVDream DM6ADSKAILab
  • WaLa MVDream RGB4ADSKAILab
  • WaLa PC 1BADSKAILab
  • WaLa RGB4 1BADSKAILab
  • WaLa SK 1BADSKAILab
  • WaLa SV 1BADSKAILab
  • WaLa UN 1BADSKAILab
  • WaLa VX16 1BADSKAILab
  • WALRUSpolymathic-ai
  • X-CellXaira-Therapeutics
  • Zatom-2Berkeley Lab, Cambridge and collaborators
  • Zero-To-CAD Qwen3-VL 2BADSKAILab
Every dataset, A–Z254
  • ABC-1MADSKAILab
  • active_matterpolymathic-ai
  • aimo-validation-aimeAI-MO
  • aimo-validation-amcAI-MO
  • aimo-validation-math-level-4AI-MO
  • aimo-validation-math-level-5AI-MO
  • AirfRANS_originalPLAID-datasets
  • AlphaFoldDBLiteFold
  • aops_rawAI-MO
  • aqcat25-datasetSandboxAQ
  • arxiv-abstracts-largeUniverseTBD
  • AstroLLaVA_convosUniverseTBD
  • ATBAllTheBacteria
  • AtompackLeMaterial
  • atomvison_atomistic_stm_images_2d_materials_unique_chemical_compositions_structure_v1-1foundry-ml
  • atomvison_simulated_atomistic_stem_images_2d_materials_unique_chemical_compositions_structure_bafoundry-ml
  • B3DBmaomlab
  • Bac-Corpus-dna-intergenic-sequences-high-diversityAllTheBacteria
  • Bac-Corpus-protein-sequences-high-diversityAllTheBacteria
  • BEANS-ZeroEarthSpeciesProject
  • BFDLiteFold
  • BioMysteryBench-fullAnthropic
  • BioMysteryBench-previewAnthropic
  • bioreason-pro-sft-reasoning-datawanglab
  • BixBenchfuturehouse
  • Botanic1-pretrainingliving-models
  • camelyon16-featuresowkin
  • carbon-pretraining-corpusHuggingFaceBio
  • CATHLiteFold
  • CCAluminary-shift
  • ChAFFmaomlab
  • ChemBenchjablonkagroup
  • chempile-captionjablonkagroup
  • chempile-codejablonkagroup
  • chempile-educationjablonkagroup
  • chempile-instructionjablonkagroup
  • chempile-liftjablonkagroup
  • chempile-mliftjablonkagroup
  • chempile-paperjablonkagroup
  • chempile-reasoningjablonkagroup
  • clinvar-vepHuggingFaceBio
  • CloudSEN12Plusisp-uv-es
  • codeparrot_megatronADSKAILab
  • CombiBenchAI-MO
  • constellarationproxima-fusion
  • core-sdonasa-ibm-ai4science
  • crosslab-nmcGenData-Research
  • CryptoCENmaomlab
  • CT_DeepLesion-MedSAM2wanglab
  • CycPepMPDBLiteFold
  • dataset_concrete_compressive_strengthfoundry-ml
  • dataset_debyet_aflowfoundry-ml
  • dataset_exfoliationefoundry-ml
  • dataset_li_conductivityfoundry-ml
  • dataset_metallicglass_dmaxfoundry-ml
  • dataset_metallicglass_rcfoundry-ml
  • dataset_metallicglass_rc_llmfoundry-ml
  • dataset_mg_alloyfoundry-ml
  • dataset_perovskite_asrfoundry-ml
  • dataset_perovskite_conductivityfoundry-ml
  • dataset_perovskite_formationefoundry-ml
  • dataset_perovskite_habsfoundry-ml
  • dataset_perovskite_stability_updatedfoundry-ml
  • dataset_perovskite_tecfoundry-ml
  • dataset_rpv_ttsfoundry-ml
  • dataset_thermalcond_aflowfoundry-ml
  • dataset_thermalexp_aflowfoundry-ml
  • dielectric_constant_v1-1foundry-ml
  • diffusion_v1-4foundry-ml
  • DIPSDror Lab, Stanford
  • direct_electron_detectorceleritas_xs_simulated_readout_images_electron_counting_model_v1-1foundry-ml
  • DisProtLiteFold
  • double_perovskite_bandgap_v1-1foundry-ml
  • drivaermlneashton
  • drug-target-activityeve-bio
  • DynaCLR-databiohub
  • elastic_tensor_v1-1foundry-ml
  • electromigration_v1-1foundry-ml
  • elwood_md_v1-2foundry-ml
  • EmeraldBaytahoebio
  • EO-via-NLPnasa-impact
  • equational-theories-benchmarkSAIRfoundation
  • equational-theories-selected-problemsSAIRfoundation
  • ESMAtlasLiteFold
  • ESMC-SAE-Featuresbiohub
  • ether0-benchmarkfuturehouse
  • EvolutionaryLiteFold
  • excess-propertiesmist-models
  • finemed-frdoctolib-lab
  • finemed-rephrased-frdoctolib-lab
  • FireProtDBLiteFold
  • FLIP2LiteFold
  • foundry_aflow_band_gaps_v1-1foundry-ml
  • foundry_g4mp2_solvation_v1-2foundry-ml
  • foundry_mp_band_gaps_v1-1foundry-ml
  • foundry_oqmd_band_gaps_v1-1foundry-ml
  • foundry_osdb_v1-1foundry-ml
  • foundry_qmc_ml_v1-1foundry-ml
  • foundry_stan_segmentation_v1-1foundry-ml
  • frontierscienceopenai
  • GDPa1ginkgo-datapoints
  • GDPx1ginkgo-datapoints
  • GDPx2ginkgo-datapoints
  • GDPx3ginkgo-datapoints
  • GDPx4ginkgo-datapoints
  • genomic-niahHuggingFaceBio
  • GeometryLeanBenchAI-MO
  • GOLiteFold
  • GOALiteFold
  • healthbenchopenai
  • healthbench-professionalopenai
  • her2-challenge-2026owkin
  • hestMahmoodLab
  • hest-benchMahmoodLab
  • heusler_magnetization_v1-1foundry-ml
  • HumanProteinAtlasLiteFold
  • IEDBLiteFold
  • img_virus_plasmidwanglab
  • InterProLiteFold
  • keggwanglab
  • Kimina-Prover-PromptsetAI-MO
  • lab-benchfuturehouse
  • LeMat-BulkLeMaterial
  • LeMat-Bulk-DFT-HullLeMaterial
  • LeMat-Bulk-DFT-Hull-AllLeMaterial
  • LeMat-Bulk-MLIP-Formation-EnergiesLeMaterial
  • LeMat-Bulk-MLIP-HullLeMaterial
  • LeMat-BulkUniqueLeMaterial
  • LeMat-GenBench-embeddingsLeMaterial
  • LeMat-RhoLeMaterial
  • LeMat-SynthLeMaterial
  • LeMat-Synth-PapersLeMaterial
  • LeMat-TrajLeMaterial
  • LeMat-Traj-subsetLeMaterial
  • LLM-narrative-planning-tasksetADSKAILab
  • MaCBenchjablonkagroup
  • mask_rcnn_defect_detection_v1-1foundry-ml
  • MedDialogOpenMed
  • medical-o1-reasoning-SFTFreedomIntelligence
  • medical-o1-verifiable-problemFreedomIntelligence
  • Medical-Reasoning-SFT-MegaOpenMed
  • MedSynthAhmad0067
  • MegaScale-Tsuboyama2023LiteFold
  • MetaMathQAmeta-math
  • MgnifyLiteFold
  • MHD_64polymathic-ai
  • minif2f_testAI-MO
  • miriad-4.4Mmiriad
  • miriad-5.8Mmiriad
  • MISATOHelmholtz Munich
  • MofasaDBOrbital-Materials
  • Molecule3Dmaomlab
  • MOSESInsilico Medicine
  • msr-acc-tae25microsoft
  • multi_species_genomesInstaDeepAI
  • NCBILiteFold
  • nct-crc-heowkin
  • NTv3_benchmark_datasetInstaDeepAI
  • nucleotide_transformer_downstream_tasksInstaDeepAI
  • NuminaMath-1.5AI-MO
  • NuminaMath-CoTAI-MO
  • NuminaMath-LEANAI-MO
  • NuminaMath-TIRAI-MO
  • OASopig
  • Octant_CYP_inhibition_reactivity_blog_releaseopenadmet
  • OGtattabio
  • olmoearth-paper-embeddingsallenai
  • olympiadsAI-MO
  • olympiads-refAI-MO
  • olympiads-ref-baseAI-MO
  • OMGtattabio
  • openadmet-expansionrx-challenge-dataopenadmet
  • openadmet-expansionrx-challenge-train-dataopenadmet
  • opengenome2arcinstitute
  • OpenProteinSetLiteFold
  • opensr-testisp-uv-es
  • OpenTMEAignostics
  • PapyrusLeiden Academic Centre for Drug Research
  • parse-de-rhaistertahoebio
  • Patho-BenchMahmoodLab
  • PATHOS-PLM-EMBEDDINGSDSIMB
  • PDBLiteFold
  • PDB-CCDLiteFold
  • perovskite_opbandcenter_v1-1foundry-ml
  • perovskite_stability_v1-1foundry-ml
  • Perturb-Sapiensarcinstitute
  • perturbation-benchHuggingFaceBio
  • peS2oallenai
  • PfamLiteFold
  • piezoelectric_tensor_v1-1foundry-ml
  • planetswepolymathic-ai
  • plant-genomic-benchmarkInstaDeepAI
  • plism-dataset-tilesowkin
  • popsiclebiohub
  • principia-benchfacebook
  • principia-collectionfacebook
  • ProteinGLUEIBIVU, VU Amsterdam
  • ProteinGymLiteFold
  • ProteinNetAlQuraishi Lab
  • protenix-dataLiteFold
  • Pumpluminary-shift
  • rayleigh_benardpolymathic-ai
  • replogle-nadig-de-rhaistertahoebio
  • Replogle-Nadig-Preprintarcinstitute
  • rtm_emulationisp-uv-es
  • rxrx3recursionpharma
  • rxrx3-corerecursionpharma
  • SAIRSandboxAQ
  • SARLO-80ONERA
  • SE-167M-Humanarcinstitute
  • semiconductor_defectlevels_v1-1foundry-ml
  • SHIFT-Crashluminary-shift
  • SidechainNetKoes Lab, University of Pittsburgh
  • SKEMPI2LiteFold
  • spiqagoogle
  • SPIREAllTheBacteria
  • Stack-CellxGene45Marcinstitute
  • State-Tahoe-Filteredarcinstitute
  • steel_strength_v1-1foundry-ml
  • STRINGLiteFold
  • Submarineluminary-shift
  • superconductivity_v1-1foundry-ml
  • supernova_explosion_64polymathic-ai
  • surya-bench-flare-forecastingnasa-ibm-ai4science
  • SUVluminary-shift
  • SwissSidechainLiteFold
  • synthvision-annotated-kimiOpenMed
  • synthvision-annotated-qwenOpenMed
  • synthvision-seedsOpenMed
  • Tahoe-100Mtahoebio
  • tahoe-de-rhaistertahoebio
  • Tahoe-x1-embeddingstahoebio
  • TCGA_virtual_spatial_transcriptomics_atlasratschlab
  • TCGA-UniformTumor-8KMahmoodLab
  • TDCmaomlab
  • ThousandWorldsAstroAutomata
  • training_locating_atoms_stem_images_v1-2foundry-ml
  • traitgymHuggingFaceBio
  • TreeOfLife-200Mimageomics
  • true-cds-protein-tasksInstaDeepAI
  • UNI2-h-featuresMahmoodLab
  • UniProtKBLiteFold
  • UniRef50LiteFold
  • UniRef90LiteFold
  • viperMahmoodLab
  • WINGluminary-shift
  • winnow-ms-datasetsInstaDeepAI
  • wolverton_oxides_v1-1foundry-ml
  • WorldFloodsv2isp-uv-es
  • WxC-Benchnasa-impact
  • X-Atlas-OrionXaira-Therapeutics
  • X-Atlas-PiscesXaira-Therapeutics
  • Zero-To-CAD-100kADSKAILab
  • Zero-To-CAD-1mADSKAILab

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