mlsanityData to 7 Oct 2026

A Classification of Artificial Intelligence Systems for Mathematics Education

arXiv 2107.06015 ↗First posted 13 Jul 2021cs.CY cs.AI math.HOcited by 1

Not on the map. Why?

Abstract (arXiv)

This chapter provides an overview of the different Artificial Intelligence (AI) systems that are being used in contemporary digital tools for Mathematics Education (ME). It is aimed at researchers in AI and Machine Learning (ML), for whom we shed some light on the specific technologies that are being used in educational applications; and at researchers in ME, for whom we clarify: i) what the possibilities of the current AI technologies are, ii) what is still out of reach and iii) what is to be expected in the near future. We start our analysis by establishing a high-level taxonomy of AI tools that are found as components in digital ME applications. Then, we describe in detail how these AI tools, and in particular ML, are being used in two key applications, specifically AI-based calculators and intelligent tutoring systems. We finish the chapter with a discussion about student modeling systems and their relationship to artificial general intelligence.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 13 of its 63 references that are in the map. First posted on arXiv 13 Jul 2021.

Builds on

13 of 63 references.

References · 13

  1. 2017Attention Is All You Needcited by 59,932
  2. 2020Language Models are Few-Shot Learnerscited by 32,199
  3. 2019Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AIcited by 1,543
  4. 2019Analysing Mathematical Reasoning Abilities of Neural Modelscited by 331
  5. 2018Deep Facial Expression Recognition: A Surveycited by 269
  6. 2019Deep Learning for Symbolic Mathematicscited by 266
  7. 2018Measuring abstract reasoning in neural networkscited by 165
  8. 2017Schema Networks: Zero-shot Transfer with a Generative Causal Model of Intuitive Physicscited by 57
  9. 2017Deep Network Guided Proof Searchcited by 47
  10. 2019Mathematical Reasoning in Latent Spacecited by 17
  11. 2015Premise Selection and External Provers for HOL4cited by 7
  12. 2018Improving QED-Tutrix by Automating the Generation of Proofscited by 4
1 more
  1. 2019Using ConceptNet to Teach Common Sense to an Automated Theorem Provercited by 3

Built on by

Cited by year

Citing papers per year: 2025: 1.

1 paper.

  1. 2025Can the current trends of AI handle a full course of mathematics?cited by 0