-
Self-Imagine
The dataset used in the paper is not explicitly described, but it is mentioned that the authors used three mathematics tasks (GSM8K, ASDIV, and SVAMP) and nine general-purpose... -
Persistence in Phage-Bacterium Communities
The dataset is used to study the persistence of phage-bacterium communities with nested and one-to-one infection networks. -
Synthetic arithmetic questions dataset
The dataset used in the paper is a synthetic arithmetic questions dataset, constructed following Liu & Low (2023). The input numbers are randomly generated, ensuring a very... -
Age-structured SIR model parameters
The dataset used in this paper is the age-structured SIR model parameters. -
Decimal Addition Dataset
The dataset used in this paper is a collection of decimal addition tasks, where the input lengths range from 1 to 40 digits. The dataset is used to evaluate the ability of... -
Bounded Idempotent Pocrims
The dataset used in the paper is a collection of bounded idempotent pocrims, hoops, and coops, which are used to model the semantics of continuous logic. -
Bounded Involutive Pocrims
The dataset used in the paper is a collection of bounded involutive pocrims, hoops, and coops, which are used to model the semantics of continuous logic. -
Continuous Logic
The dataset used in the paper is a collection of pocrims, hoops, and coops, which are used to model the semantics of continuous logic. -
Machine Number Sense
A comprehensive indicator of mathematical thinking and intelligence, the number sense bridges the induction of symbolic concepts and the competence of problem-solving. -
arXMLiv 2018
The arXMLiv 2018 dataset is an HTML collection of the arXiv.org preprint archive, used as a training corpus for word embedding techniques. -
Dataset for Implicit Automated Assessment of Mathematical Short Answer Items
The dataset used for this task was derived as a supplementary dataset provided in connection with a national assessment program. It was administered alongside a short answer... -
Sacrobosco Tables
The Sacrobosco Tables dataset contains numerical tables from the Sacrobosco Collection, a corpus of 359 early modern printed editions of textbooks on astronomy used at European... -
Dolanský and Dolanský (1952) Logarithmic Values
Dolanský and Dolanský (1952) dataset contains data on logarithmic values for calculating binary or base two logarithms. -
Automated discovery of mathematical definitions in text
Automated discovery of mathematical definitions in text. -
Assistments
Assistments is an electronic tutor that teaches and evaluates students in grade-school math.
