datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
arithmetic-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.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.