Matches in Nanopublications for { ?s ?p ?o <https://w3id.org/np/RAi_53mSPRrWhLngRPhQ1YKoR_fxmjeCUqmYB-doqX6Do/assertion>. }
Showing items 1 to 53 of
53
with 100 items per page.
- arXiv.2503.11657 type Entity assertion.
- DeepMath type Workflow assertion.
- DeepSeekProverV1.5 type Workflow assertion.
- FormalTheoremProvingByHierarchicalDecomposition type Workflow assertion.
- GPTf type Workflow assertion.
- GraFormer type Workflow assertion.
- GraphRetriever type Workflow assertion.
- HOList type Workflow assertion.
- HyperTreeProofSearch type Workflow assertion.
- InternLM2.5StepProver type Workflow assertion.
- KGProver type Workflow assertion.
- LeanDojo type Workflow assertion.
- MUSTARD type Workflow assertion.
- QAGNN type Workflow assertion.
- RetrievalAugmentedGenerationBaseline type Workflow assertion.
- STP type Workflow assertion.
- TheoremLlama type Workflow assertion.
- DeepMath label "DeepMath" assertion.
- DeepSeekProverV1.5 label "DeepSeek-Prover-V1.5" assertion.
- FormalTheoremProvingByHierarchicalDecomposition label "Formal Theorem Proving by Hierarchical Decomposition" assertion.
- GPTf label "GPT-f" assertion.
- GraFormer label "GraFormer" assertion.
- GraphRetriever label "GraphRetriever" assertion.
- HOList label "HOList" assertion.
- HyperTreeProofSearch label "HyperTree Proof Search" assertion.
- InternLM2.5StepProver label "InternLM2.5-StepProver" assertion.
- KGProver label "KG-Prover" assertion.
- LeanDojo label "LeanDojo" assertion.
- MUSTARD label "MUSTARD" assertion.
- QAGNN label "QAGNN" assertion.
- RetrievalAugmentedGenerationBaseline label "Retrieval Augmented Generation (RAG) Baseline" assertion.
- STP label "STP" assertion.
- TheoremLlama label "TheoremLlama" 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.
- arXiv.2503.11657 describes KGProver assertion.
- arXiv.2503.11657 discusses DeepMath assertion.
- arXiv.2503.11657 discusses DeepSeekProverV1.5 assertion.
- arXiv.2503.11657 discusses FormalTheoremProvingByHierarchicalDecomposition assertion.
- arXiv.2503.11657 discusses GPTf assertion.
- arXiv.2503.11657 discusses GraFormer assertion.
- arXiv.2503.11657 discusses GraphRetriever assertion.
- arXiv.2503.11657 discusses HOList assertion.
- arXiv.2503.11657 discusses HyperTreeProofSearch assertion.
- arXiv.2503.11657 discusses InternLM2.5StepProver assertion.
- arXiv.2503.11657 discusses LeanDojo assertion.
- arXiv.2503.11657 discusses MUSTARD assertion.
- arXiv.2503.11657 discusses QAGNN assertion.
- arXiv.2503.11657 discusses RetrievalAugmentedGenerationBaseline assertion.
- arXiv.2503.11657 discusses STP assertion.
- arXiv.2503.11657 discusses TheoremLlama assertion.
- KGProver subject KGEnhancedLLMInference assertion.
- arXiv.2503.11657 title "Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving" assertion.
- KGProver hasTopCategory KGEnhancedLLM assertion.