{"url":"/dataset/mathematical-formula-retrieval","name":"Mathematical Formula Retrieval","full_name":"MFR (Mathematical Formula Retrieval)","description_markdown":"Mathematical dataset based on 71 famous mathematical identities. Each entry consists of two identities (in formula or textual form), together with a label, whether the two versions describe the same mathematical identity. The false pairs are not randomly chosen, but intentionally hard by modifying equivalent representations (see [ddrg/named_math_formulas](https://huggingface.co/datasets/ddrg/named_math_formulas) for more information). 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.","description_withheld":null,"homepage":"https://huggingface.co/datasets/ddrg/math_formula_retrieval","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":["Mathematical Formula Retrieval"],"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."}