6 datasets found

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

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 consists of the core HOL Light corpus and the Flyspeck corpus, with millions of nodes representing atomic inferences.

Math23k is the most commonly used Chinese dataset in MWP solving. It contains 23,162 problems with 21,162 training problems, 1,000 validation problems and 1,000 testing problems.

The Math dataset is collected from the widely-used online learning system Zhixue1, which contains mathematical exercises and logs of high school examinations.