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.
Mathematical dataset based on 71… See the full description on the dataset page:
https://huggingface.co/datasets/ddrg/named_math_formulas.
