datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
Phase-Calculus-Research-Corpus
Phase Calculus Research Corpus
The Phase Calculus Research Corpus is the collected working archive of the Phase Calculus research program: papers, mathematical derivations, formal proofs, executable experiments, native runtimes, computational notebooks, validation packages, and the related Cortex, Xi, and VDM research in which the calculus has been developed and tested.
Rather than presenting only finished papers, the corpus preserves the research object around the theory. A… See the full description on the dataset page: https://huggingface.co/datasets/jlietz93/Phase-Calculus-Research-Corpus.calculus-datasetsymbolic-calculus-training-pool
Symbolic calculus training pool
Single variable calculus exercises with closed form answers: derivatives of composite expressions,
indefinite and definite integrals, limits of indeterminate forms, and coefficients of Maclaurin
series, with some multivariable operators in one of the sources. A set generated for this pool and
two public datasets read at the pinned revisions named below, laid out twice. Train on either
layer or on both.
pool.jsonl
Every source… See the full description on the dataset page: https://huggingface.co/datasets/Emulated-Inc/symbolic-calculus-training-pool.euler-weight-transport-calculus
Euler-Weight Transport Calculus for Polynomial Differential Operators
Relation up front: this dataset is a public-safe algebra release from a celestial holography atlas audit lineage: Celestial Holography Tokenprint Atlas R164 -> R174 Euler-weight transport calculus.
The published claim here is not a proof of celestial holography. It is the narrower algebra object that came out of that lineage and passed the public-surface gate: a transport calculus for polynomial differential… See the full description on the dataset page: https://huggingface.co/datasets/cjc0013/euler-weight-transport-calculus.Aida-Calculus-Math-Handwriting
Aida Calculus Math Handwriting Recognition Dataset (Downsampled Image-to-LaTeX Version)
Synthetic handwritten calculus math expressions with downsampled images for LaTeX OCR and handwriting recognition tasks.
Dataset Summary
This is a processed version of the original Aida Calculus Math Handwriting Recognition Dataset, tailored specifically for image-to-LaTeX modeling. The dataset comprises synthetic handwritten calculus expressions, with each image annotated by a ground… See the full description on the dataset page: https://huggingface.co/datasets/deepcopy/Aida-Calculus-Math-Handwriting.dataset-CoT-Advanced-Calculus-268The_Mirror_CalculusThe Mirror Calculus — deposit update, August 2026
New version for the record at doi:10.5281/zenodo.22002856 (The Mirror Calculus). © 2026 Parker M. D. Emmerson. All rights reserved. Edition of record: https://theriemannhypothesis.com
What is new in this version
Zero-surrogate purge (the negation errata). Across the programme's texts, every statement in the author's voice has been recast in the positive; the sign for non-presentation and its surrogates now appear only [bracketed], as diagnostic… See the full description on the dataset page: https://huggingface.co/datasets/PlanetCrash/The_Mirror_Calculus.Calculus-Tasksboundary-receipt-calculus-snapshot
Boundary Receipt Calculus: Public Snapshot
This repository is a public, provisional snapshot of a machine-assisted research process around celestial holography.
It is not a final paper, not peer reviewed, and not a claim that the proposed theory is established. It is a dated output snapshot: a current working view, a small set of math examples, and a list of falsifiers that would weaken or discard the framing.
Update note, 2026-06-29: the private follow-up has become more… See the full description on the dataset page: https://huggingface.co/datasets/cjc0013/boundary-receipt-calculus-snapshot.calculus-bookskhan-math-calculus
Khan Math – Calculus
Calculus problems from Khan Academy in ChatML format. Covers derivatives, integrals, series, vector calculus, and more.
Quick Start
from datasets import load_dataset
dataset = load_dataset("NecroMOnk/khan-math-calculus")
print(dataset["train"][0])
Example record:
{
"messages": [
{"role": "system", "content": "You are a mathematics tutor. Answer the following math problem."},
{"role": "user", "content": "Find the arclength of the function… See the full description on the dataset page: https://huggingface.co/datasets/NecroMOnk/khan-math-calculus.openr1_calculus_1k_nmopenr1_calculus_1k_smcalculus-textbook-datasetopenr1_calculus_1k_lgcalculusstewart-calculus-8e-solutionsp2-etf-fractional-calculus-resultscalculus_manimwordduel-model