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-636equation_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-degrees1K_tokenized_operations_equations_filtereds1K_tokenized_operations_equations_filteredpolynomial-equations-unique-1to4-degrees1K_tokenized_operations_equations_fulls1K_tokenized_operations_equations_formattedmgsm_equations_symbolicpolynomial_equationssimple_equationspolynomial-equations-7-degreepolynomial-equations-5-degreepolynomial-equations-6-degree