29 datasets found

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...

The dataset is used to study the persistence of phage-bacterium communities with nested and one-to-one infection networks.

The SVAMP dataset contains natural language math problems from various sources, including textbooks and online resources.

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...

The dataset used in this paper is the age-structured SIR model parameters.

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...

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.

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.

The dataset used in the paper is a collection of pocrims, hoops, and coops, which are used to model the semantics of continuous logic.

A comprehensive indicator of mathematical thinking and intelligence, the number sense bridges the induction of symbolic concepts and the competence of problem-solving.

The MathMLBen dataset is used to evaluate the performance of formula embedding techniques for mathematical information retrieval.

The arXMLiv 2018 dataset is an HTML collection of the arXiv.org preprint archive, used as a training corpus for word embedding techniques.

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...

The dataset used in the paper is a set of educational mathematics problems that reason about prime numbers, square numbers, and triangle numbers.

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) dataset contains data on logarithmic values for calculating binary or base two logarithms.

Automated discovery of mathematical definitions in text.

MuLiMa is a multilingual dictionary of mathematics curated by mathematicians.

MathGloss is a project to create a knowledge graph (KG) for undergraduate mathematics from text, automatically, using modern natural language processing (NLP) tools and...

Assistments is an electronic tutor that teaches and evaluates students in grade-school math.