{
  "url": "https://appliedfrontier.nl/en/research/signal-aac33c2d5da0bf84/",
  "title": "When Does Structured Knowledge Help Neural Theorem Proving?",
  "published": "2026-09-28",
  "excerpt": "Does structured mathematical knowledge help LLMs prove theorems in Lean 4? If so, for which models, and does the answer vary by problem? Formal libraries",
  "content_sha256": "f4ad0af281c8ad4477cf8196f90ed5e2973ce477f9b33f6f90a705aae4ef6e7e",
  "extracted_chars": 1866,
  "artifact_links": [
    "https://arxiv.org/abs/2609.34460"
  ],
  "arxiv_id": "2609.34460",
  "id": "signal-aac33c2d5da0bf84",
  "org": "Research community",
  "topic": "Formal verification",
  "source_kind": "preprint",
  "status": "unreviewed-source-report",
  "analysis_method": "deterministic_metadata_triage_v1",
  "novelty_verified": false,
  "proof_checked": false,
  "peer_review_verified": false,
  "matched_terms": [
    "lean",
    "mathematical",
    "mathematicians",
    "theorem",
    "theorems"
  ],
  "checked_at": "2026-10-31T19:17:04+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "11f5717529d76e69160af971f2a331896563ba5726336f4f617ff0c05624a794",
  "source_url": "https://arxiv.org/abs/2609.34460",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}