ddrg/math_formula_retrieval download history
ddrg/math_formula_retrieval is a text classification dataset on the Hugging Face Hub. In the last 30 days it was downloaded 353 times (102 in the last 7 days), and 8,655 times in total. It ranks #43,306 among datasets by monthly downloads.
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 consi
Models trained on math_formula_retrieval
4 models list it as training data.
- aieng-lab/MathBERT-mamut 44.8K downloads in 30 days
- aieng-lab/math_pretrained_bert_mamut 24 downloads in 30 days
- aieng-lab/bert-base-cased-mamut 16 downloads in 30 days
- ddrg/math_structure_deberta 14 downloads in 30 days