Dataset Groups Activity Stream Math The dataset used in the paper is a set of educational mathematics problems that reason about prime numbers, square numbers, and triangle numbers. BibTex: @dataset{Elizabeth_Polgreen_and_Andrew_Reynolds_and_Sanjit_A_Seshia_2024, abstract = {The dataset used in the paper is a set of educational mathematics problems that reason about prime numbers, square numbers, and triangle numbers.}, author = {Elizabeth Polgreen and Andrew Reynolds and Sanjit A. Seshia}, doi = {10.57702/qg4mu7iz}, institution = {No Organization}, keyword = {'prime numbers', 'square numbers', 'triangle numbers'}, month = {dec}, publisher = {TIB}, title = {Math}, url = {https://service.tib.eu/ldmservice/dataset/math}, year = {2024} }