MFR: Mathematical Formula Retrieval with 71 Core Identities

A collection of mathematical formula pairs classified for equivalence. The dataset is based on 71 famous mathematical identities. It was created by author 'ddrg' and last updated on July 8, 2025.

Use Cases

• Training models for mathematical formula retrieval based on described formula pairs.
• Evaluating semantic equivalence detection for mathematical expressions.
• Benchmarking natural language processing systems on technical scientific text.

Strengths

• Based on 71 distinct, famous mathematical identities.
• False pairs are not randomly chosen, which may provide a more challenging benchmark.

Limitations

• Row count, column names, and file formats are unknown.
• Column-level documentation is absent; field semantics must be inferred after download.

Provenance

Source

huggingface

Freshness

Last updated 2025-07-08 12:22:27; freshness should be verified.