Named Math Formulas

kaggle2023-12-30 更新2024-03-08 收录

下载链接：

https://www.kaggle.com/datasets/mpwolke/cusersmarildownloadsdata-json

下载链接

链接失效反馈

官方服务：

资源简介：

DDRG / Named Math Formulas - HuggingFace

DDRG / 命名数学公式 - HuggingFace

创建时间：

2023-12-30

shreyasmind/named_math_formulas

--- dataset_info: features: - name: name dtype: string - name: formula dtype: string - name: formula_name_id dtype: string - name: label dtype: bool splits: - name: train

Hugging Face2026-03-12 更新30

ddrg/named_math_formulas

该数据集名为named_math_formulas，包含71个著名数学恒等式的信息，每个条目有恒等式的名称、表达式、标签（指示是否属于该恒等式）和ID。数据集设计了挑战性的错误示例，如错误的勾股定理表达式。通过随机化和错误化算法生成，每个恒等式最多有400000个版本，错误版本数量是正确版本的十倍，适用于每个epoch都改变错误示例的训练。

Hugging Face2026-01-16 更新160

Math Formula Detection Dataset

Description: Mathematical Formula Detection Dataset is a critical area in AI research, aiding in converting complex mathematical expressions from visual representations to machine-readable form

Zenodo2025-02-24 更新00

named_math_formulas_ft

基于71个著名数学恒等式的数学数据集，每个条目包含一个知名数学恒等式的名称和一个可能的表示形式（LaTeX或文本描述），以及一个标签指示该表示形式是否正确。数据集包含大量真实和设计用于挑战的虚假例子，适用于公式分类或排名任务的模型微调。

Hugging Face2025-04-25 更新40

ddrg/named_math_formulas_ft

基于71个著名数学恒等式的数学数据集。每个条目包括一个著名的数学恒等式名称（例如，勾股定理）和一个潜在的公式表示（例如，$a^2+b^2=c^2$ 或文本描述），以及一个标签，指示公式表示是否与名称所述的数学恒等式相同。数据集中真例的数量是假例的十分之一，使得数据集可以在每个epoch改变假例的情况下用于训练。

Hugging Face2026-01-16 更新60