Dataset · Hugging Face

SphereLab/FormalMATH-All

Name: FormalMATH-All
Creator: SphereLab
License: mit
Keywords: license:mit, size_categories:1K<n<10K, format:json, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, region:us

View on Hugging FaceReport an issue

Author / organization	SphereLab
License (as declared)	mit
Downloads	6.2K (as reported by Hugging Face)
Likes	8
Created	4 May 2025
Last updated at source	4 May 2025

Embed this entry

<iframe src="https://silytics.si/embed/item/357aa55b-cfb7-4328-a14d-b7ea17cc3181" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 12 days

6,178 now (+3,801 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

Connected in the knowledge graph

viai957/Goedel-Prover-V2-8B-EI-campaign1-r1Model · used to train
viai957/Goedel-Prover-V2-8B-EI-campaign1-r2Model · used to train
viai957/Goedel-Prover-V2-8B-EI-campaign1-r3Model · used to train

Explore this entry in the graph

More from SphereLab

SphereLab/FormalMATH-LiteDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 27 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.