Parmesan: mathematical concept extraction for education
Mathematics is a highly specialized domain with its own unique set of challenges that has seen limited study in natural language processing. However, mathematics is used in a wide variety of fields and multidisciplinary research in many different domains often relies on an understanding of mathematical concepts. To aid researchers coming from other fields, we develop a prototype system for searching for and defining mathematical concepts in context, focusing on the field of category theory. This system, Parmesan, depends on natural language processing components including concept extraction, relation extraction, definition extraction, and entity linking. In developing this system, we show that existing techniques cannot be applied directly to the category theory domain, and suggest hybrid techniques that do perform well, though we expect the system to evolve over time. We also provide two cleaned mathematical corpora that power the prototype system, which are based on journal articles and wiki pages, respectively. The corpora have been annotated with dependency trees, lemmas, and part-of-speech tags.
Code (1)
Tasks
ArticlesDefinition ExtractionEntity LinkingRelation ExtractionSimilar Papers 제목 키워드 기반
PARMESAN: Parameter-Free Memory Search and Transduction for Dense Prediction Tasks
This work addresses flexibility in deep learning by means of transductive reasoning. For adaptation to new data and tasks, e.g., in continual learning, existing methods typically involve tuning learnable parameters or co…
Continual LearningFew-Shot LearningParmesan: Meteor without Paraphrases with Paraphrased References
$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demons…
MathThe AI Triplet: Computational, Conceptual, and Mathematical Knowledge in AI Education
Efforts to enhance education and broaden participation in AI will benefit from a systematic understanding of the competencies underlying AI expertise. In this paper, we observe that AI expertise requires integrating comp…
TripletNovice Learner and Expert Tutor: Evaluating Math Reasoning Abilities of Large Language Models with Misconceptions
We propose novel evaluations for mathematical reasoning capabilities of Large Language Models (LLMs) based on mathematical misconceptions. Our primary approach is to simulate LLMs as a novice learner and an expert tutor,…
MathMathematical ReasoningMisconceptions