Search: “knowledge-graph”

76 results

Each lane shows up to 8 recent matching entries, ordered from earlier to later. Tracks load separately to keep the 75,000+ entry wiki fast.

Tools

ToolClaude Code1 recent entries

29 Sept 2026When Does Structured Knowledge Help Neural Theorem Proving?

arXiv:2609.34460v1 Announce Type: cross Abstract: Does structured mathematical knowledge help LLMs prove theorems in Lean 4? If so, for which models, and does the answer vary by problem? Formal librar