ddrg/math_formula_retrieval

Dataset Card for MFR (Mathematical Formula Retrieval) This dataset consists of formula pairs, classified as either mathematical equivalent or not. Dataset Details Dataset Description 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… See the full description on the dataset page: https://huggingface.co/datasets/ddrg/math_formula_retrieval.

<iframe src="https://silytics.si/embed/item/e9f9740c-a04e-49c0-8760-33b7693f6ba6" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

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.