Dataset · Hugging Face

ddrg/named_math_formulas

Name: named_math_formulas
Creator: ddrg
License: cc-by-4.0
Keywords: task_categories:text-classification, language:en, license:cc-by-4.0, size_categories:10M<n<100M, format:parquet, modality:text, library:datasets, library:dask, library:mlcroissant, library:polars, arxiv:2502.20855, arxiv:2503.05500, region:us

Dataset Card for NMF (Named Mathematical Formulas) This dataset might be used to train a language model based math-retrieval system with a NSP-like task. See also see ddrg/math_formula_retrieval as a derived dataset which associates two formulas. You can find more information in MAMUT: A Novel Framework for Modifying Mathematical Formulas for the Generation of Specialized Datasets for Language Model Training. Named Math Formulas Mathematical dataset based on 71… See the full description on the dataset page: https://huggingface.co/datasets/ddrg/named_math_formulas.

View on Hugging FaceReport an issue

Author / organization	ddrg
License (as declared)	cc-by-4.0
Downloads	170 (as reported by Hugging Face)
Likes	19
Created	2 November 2023
Last updated at source	16 January 2026

Embed this entry

<iframe src="https://silytics.si/embed/item/f4574e6a-a2ff-4a79-b553-5222b3b05d7f" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Connected in the knowledge graph

aieng-lab/MathBERT-mamutModel · used to train

Explore this entry in the graph

More from ddrg

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