datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
euler-structural-equationsdataset-CoT-Differential-Equations-636arithmetic-equations
Arithmetic Equations
Synthetic integer arithmetic, one true equation per line, as plain UTF-8 text.
259 + 79 = 338
899 - 694 = 205
733 * 352 = 258016
129243256 / 914 = 141404
Contents
lines
393 830
duplicates
0
shards
5
size
~10 MB
How it is built
Operands run 1 to 9 digits. Every pairing of operand lengths is its own stratum, filled
round-robin, so the dataset covers short and long operands evenly instead of leaving the… See the full description on the dataset page: https://huggingface.co/datasets/cielecki/arithmetic-equations.Classical-Mechanics-Equations-Dataset_SFT-or-LoRA
Classical Mechanics Equations Dataset (SFT / LoRA Ready)
A structured dataset of 64 classical mechanics equations from Newtonian,
Lagrangian, and Hamiltonian mechanics, expanded into 448 instruction-tuning
rows across three task types: equation explanation, Q&A, and derivation.
Designed for fine-tuning LLMs on physics reasoning, STEM Q&A, and
equation understanding tasks.
Overview
Property
Value
Domain
Classical Mechanics (Physics)
Total rows
448
Train… See the full description on the dataset page: https://huggingface.co/datasets/ChaoticEconomist/Classical-Mechanics-Equations-Dataset_SFT-or-LoRA.equation_solving
Dataset Card for "equation_solving"
More Information needed
Coq-Equations
Coq-Equations
Structured dataset from Coq-Equations, a library for dependent pattern matching and well-founded recursion.
Source
Repository: https://github.com/mattam82/Coq-Equations
Commit: a3d1e5a422ccde88c2b99228c7cf487f13934576
Files: 228
License: lgpl-2.1
Schema
Column
Type
Description
statement
string
Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof
proof
string… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-Equations.diophantine-equations-dataset
Diophantine Equations Dataset
A curated dataset of 1,434 Diophantine equation problems with complete step-by-step solutions.
Dataset Statistics
Total examples: 1,434
Train: 1,218 | Validation: 144 | Test: 72
Usage
from datasets import load_dataset
dataset = load_dataset("Umbaji/diophantine-equations-dataset")
Features
Complete solutions with reasoningDiverse problem typesLaTeX notation preserved
Citation
Bibtex… See the full description on the dataset page: https://huggingface.co/datasets/Umbaji/diophantine-equations-dataset.polynomial-equations-1to4-degreeHandwriting_Math_Equationsexact-solutions-to-mathematicsl-equations
Dataset Card for introvoyz041/exact-solutions-to-mathematicsl-equations
Dataset Description
This dataset contains images converted from PDFs using the PDFs to Page Images Converter Space.
Number of images: 660
Number of PDFs processed: 1
Sample size per PDF: 100
Created on: 2025-04-20 00:12:11
Dataset Creation
Source Data
The images in this dataset were generated from user-uploaded PDF files.
Processing Steps
PDF files were uploaded to… See the full description on the dataset page: https://huggingface.co/datasets/introvoyz041/exact-solutions-to-mathematicsl-equations.mathematical_equationss1K_tokenized_operations_equations_filtereds1K_tokenized_operations_equations_filteredgsm8k-equations
📘 GSM8K 方程式增强数据集
本数据集是在 GSM8K 原始小学数学题基础上构建的，额外提取了显式的方程式表示和标准答案，旨在用于训练/评估具备 推理能力和方程建模能力的语言模型。
📂 数据结构说明
每条数据是一个 JSON 对象，字段含义如下：
{
"question": "Natalia sold clips to 48 of her friends in April, and then she sold half as many clips in May. How many clips did Natalia sell altogether in April and May?",
"original_answer": "Natalia sold 48/2 = 24 clips in May.\nNatalia sold 48+24 = 72 clips altogether in April and May.\n#### 72",
"model_response":… See the full description on the dataset page: https://huggingface.co/datasets/yinheyibei/gsm8k-equations.polynomial-equations-unique-1to4-degreeteaching_equationss1K_tokenized_operations_equations_fulls1K_tokenized_operations_equations_formattedmgsm_equations_symbolicpolynomial_equationssimple_equationspolynomial-equations-7-degreepolynomial-equations-5-degreepolynomial-equations-6-degreemgsm_equations