MathAnnotator
Use ChatGPT to extract mathematical concepts
- Topos maintainer: Valeria de Paiva
- Paper: Extracting Mathematical Concepts with Large Language Models (2023)
- Link: https://gaoq111.github.io/math_concept_annotation/
Use ChatGPT to extract mathematical concepts