MathAnnotator

Abstract

MathAnnotator is a semi-automated annotation tool for extracting mathematical concepts from mathematical text, using large language models (LLMs) like ChatGPT.