AutoMathKG constructs and auto-updates a natural-language mathematical knowledge graph using LLM augmentation, SBERT vector search, and a LoRA-tuned math reasoning model.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database
AutoMathKG constructs and auto-updates a natural-language mathematical knowledge graph using LLM augmentation, SBERT vector search, and a LoRA-tuned math reasoning model.