Matches in Nanopublications for { <https://neverblink.eu/ontologies/llm-kg/methods#KGProver> ?p ?o ?g. }
Showing items 1 to 5 of
5
with 100 items per page.
- KGProver type Workflow assertion.
- KGProver label "KG-Prover" assertion.
- KGProver comment "KG-Prover is a novel framework that uses a knowledge graph (KG) mined from mathematical texts to augment general-purpose LLMs during the inference stage for automated theorem proving. It involves iterative KG traversal for context retrieval, informal proof generation by the LLM, formal proof generation, and verification/refinement with Lean feedback. The method enhances LLM performance by providing relevant knowledge dynamically at test-time without requiring additional finetuning." assertion.
- KGProver subject KGEnhancedLLMInference assertion.
- KGProver hasTopCategory KGEnhancedLLM assertion.