AutoMathKG constructs and auto-updates a natural-language mathematical knowledge graph using LLM augmentation, SBERT vector search, and a LoRA-tuned math reasoning model.
Lulu Press, Morrisville, North Carolina (2019)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 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.