{
  "id": "lm-004136",
  "title": "表示搜尋先於證明搜尋：從 Problem Solving 到 Search-Space Engineering — Representation Search Before Proof Search_ From Problem Solvin",
  "source_file": "content/papers/2026/2026-09/表示搜尋先於證明搜尋：從 Problem Solving 到 Search-Space Engineering — Representation Search Before Proof Search_ From Problem Solvin.md",
  "legacy_slug": "Problem-Solving-Search-Space-Engineering-Representation-Search-Before-Proof-Search_-From-Problem-Solvin.md",
  "ext": "md",
  "language": "zh-Hant",
  "authorship": "collaborative",
  "created": "2026-09-10",
  "year": 2026,
  "month": "2026-09",
  "date_confidence": "explicit",
  "date_basis": "git-first-add (publication/upload date; not the author's in-text writing date)",
  "canonical_url": "/p/lm-004136/",
  "raw_url": "/raw/lm-004136.md",
  "api_url": "/api/papers/lm-004136.json",
  "legacy_page_url": "/papers/Problem-Solving-Search-Space-Engineering-Representation-Search-Before-Proof-Search_-From-Problem-Solvin.md.html",
  "legacy_raw_url": "/papers/Problem-Solving-Search-Space-Engineering-Representation-Search-Before-Proof-Search_-From-Problem-Solvin.md",
  "hash": "sha256:76376a682e1739ea37580f624a059046e4c9a0355befe59b9d1377557e9730b5"
}