Matches in Nanopublications for { ?s ?p ?o <https://w3id.org/np/RAXsiMCaDC1SVENBEf3Coawoeosjo15IcyvDG-GLITyK4/assertion>. }
Showing items 1 to 83 of
83
with 100 items per page.
- arXiv.2505.13406 type Entity assertion.
- TransE type Workflow assertion.
- CoT type Workflow assertion.
- RGCN type Workflow assertion.
- LoRA type Workflow assertion.
- AutoMathKG type Workflow assertion.
- AutomaticKnowledgeCompletion type Workflow assertion.
- AutomaticKnowledgeFusion type Workflow assertion.
- BoxE type Workflow assertion.
- Gemma7bit type Workflow assertion.
- HoLE type Workflow assertion.
- KG2E type Workflow assertion.
- Llama27b type Workflow assertion.
- MathGloss type Workflow assertion.
- MathGraph type Workflow assertion.
- MathKG type Workflow assertion.
- MathLLM type Workflow assertion.
- MathVD1 type Workflow assertion.
- MathVD2 type Workflow assertion.
- NaturalProofs type Workflow assertion.
- PoT type Workflow assertion.
- SBERT type Workflow assertion.
- TransE label "TransE" assertion.
- CoT label "CoT" assertion.
- BoxE label "BoxE" assertion.
- RGCN label "R-GCN" assertion.
- LoRA label "LoRA" assertion.
- AutoMathKG label "AutoMathKG" assertion.
- AutomaticKnowledgeCompletion label "Automatic knowledge completion" assertion.
- AutomaticKnowledgeFusion label "Automatic knowledge fusion" assertion.
- Gemma7bit label "Gemma-7b-it" assertion.
- HoLE label "HoLE" assertion.
- KG2E label "KG2E" assertion.
- Llama27b label "Llama-2-7b" assertion.
- MathLLM label "Math LLM" assertion.
- MathKG label "Math-KG" assertion.
- MathGloss label "MathGloss" assertion.
- MathGraph label "MathGraph" assertion.
- MathVD1 label "MathVD1" assertion.
- MathVD2 label "MathVD2" assertion.
- NaturalProofs label "NaturalProofs" assertion.
- PoT label "PoT" assertion.
- SBERT label "SBERT" assertion.
- AutomaticKnowledgeFusion comment "This mechanism employs MathVD for fuzzy search and LLMs (via in-context learning) to determine whether to merge new input entities with existing similar candidates or add them as new entities. This process directly contributes to the construction and maintenance of the KG by addressing entity discovery, coreference resolution, and relationship integration." assertion.
- MathVD1 comment "MathVD1 is one of two proposed strategies for constructing a vector database (MathVD) from the AutoMathKG entities. It embeds a single long text concatenating all key information about an entity using SBERT, providing a vector representation of KG knowledge for similarity search, which is crucial for the system's synergized reasoning and knowledge fusion mechanisms." assertion.
- MathLLM comment "Math LLM is a specialized LLM designed with task adapters, retrieval augmentation from AutoMathKG and MathVD, and self-calibration to address various mathematical problems. It exemplifies synergized reasoning by treating the LLM as an agent that interacts with the KGs to conduct complex mathematical deductions and problem-solving." assertion.
- AutoMathKG comment "AutoMathKG is an overarching system that provides an automatically updatable mathematical knowledge graph. It integrates LLMs for KG construction and updates, and uses the KG and its vector database (MathVD) to enhance a specialized LLM's mathematical reasoning capabilities, thus mutually benefiting both components within a unified framework." assertion.
- MathVD2 comment "MathVD2 is the second proposed strategy for constructing MathVD. It separately embeds each key information description of an entity using SBERT and then weights and sums these vectors based on their importance. This method contributes to a robust vector representation of KG knowledge, facilitating synergized knowledge representation and retrieval within the AutoMathKG system." assertion.
- AutomaticKnowledgeCompletion comment "This mechanism utilizes the specialized Math LLM to supplement incomplete proofs or solutions for new mathematical entities within the knowledge graph. By generating missing facts, it directly enhances the completeness and quality of the KG using LLM capabilities." assertion.
- AutomaticKnowledgeCompletion subject LLMAugmentedKGCompletion assertion.
- AutomaticKnowledgeFusion subject LLMAugmentedKGConstruction assertion.
- MathVD1 subject SynergizedKnowledgeRepresentation assertion.
- MathVD2 subject SynergizedKnowledgeRepresentation assertion.
- AutoMathKG subject SynergizedReasoning assertion.
- MathLLM subject SynergizedReasoning assertion.
- arXiv.2505.13406 title "AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database" assertion.
- arXiv.2505.13406 describes AutoMathKG assertion.
- arXiv.2505.13406 describes AutomaticKnowledgeCompletion assertion.
- arXiv.2505.13406 describes AutomaticKnowledgeFusion assertion.
- arXiv.2505.13406 describes MathLLM assertion.
- arXiv.2505.13406 describes MathVD1 assertion.
- arXiv.2505.13406 describes MathVD2 assertion.
- arXiv.2505.13406 discusses TransE assertion.
- arXiv.2505.13406 discusses CoT assertion.
- arXiv.2505.13406 discusses RGCN assertion.
- arXiv.2505.13406 discusses LoRA assertion.
- arXiv.2505.13406 discusses BoxE assertion.
- arXiv.2505.13406 discusses Gemma7bit assertion.
- arXiv.2505.13406 discusses HoLE assertion.
- arXiv.2505.13406 discusses KG2E assertion.
- arXiv.2505.13406 discusses Llama27b assertion.
- arXiv.2505.13406 discusses MathGloss assertion.
- arXiv.2505.13406 discusses MathGraph assertion.
- arXiv.2505.13406 discusses MathKG assertion.
- arXiv.2505.13406 discusses NaturalProofs assertion.
- arXiv.2505.13406 discusses PoT assertion.
- arXiv.2505.13406 discusses SBERT assertion.
- AutomaticKnowledgeCompletion hasTopCategory LLMAugmentedKG assertion.
- AutomaticKnowledgeFusion hasTopCategory LLMAugmentedKG assertion.
- AutoMathKG hasTopCategory SynergizedLLMKG assertion.
- MathLLM hasTopCategory SynergizedLLMKG assertion.
- MathVD1 hasTopCategory SynergizedLLMKG assertion.
- MathVD2 hasTopCategory SynergizedLLMKG assertion.