{"url":"/dataset/nmf","name":"NMF","full_name":"Named Mathematical Formulas","description_markdown":"Mathematical dataset based on 71 famous mathematical identities. Each entry consists of a name of the identity (*name*), a representation of that identity (*formula*), a label whether the representation belongs to the identity (*label*), and an id of the mathematical identity (*formula_name_id*). \r\nThe false pairs are intentionally challenging, e.g., `a^2+2^b=c^2`as falsified version of the Pythagorean Theorem. All entries have been generated by using [data.json](data.json) as starting point and applying the randomizing and falsifying algorithms from [MathMutator (MAMUT)](https://github.com/aieng-lab/math-mutator). The formulas in the dataset are not just pure mathematical, but contain also textual descriptions of the mathematical identity. At most 400000 versions are generated per identity. There are ten times more falsified versions than true ones, such that the dataset can be used for a training with changing false examples every epoch.\r\n\r\nThis dataset might be used to train a language model based math-retrieval system with a NSP-like task.\r\n\r\nSee also see [ddrg/math_formula_retrieval](https://huggingface.co/datasets/ddrg/math_formula_retrieval) as a derived dataset which associates two formulas.","description_withheld":null,"homepage":"https://huggingface.co/datasets/ddrg/named_math_formulas","introduced_date":"2025-02-28","introduced_date_note":null,"introduced_by":{"paper":"/paper/mamut-a-novel-framework-for-modifying","title":"MAMUT: A Novel Framework for Modifying Mathematical Formulas for the Generation of Specialized Datasets for Language Model Training","first_author":"Jonathan Drechsel","url":null},"license":{"name":"cc-by-4.0","url":null},"modalities":[{"name":"Texts","url":"/datasets/modality/texts"}],"tasks":[],"languages":[{"name":"English","url":"/datasets/language/english"}],"variants":["NMF"],"data_loaders":[],"num_papers_in_archive":1,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}