{
  "url": "https://appliedfrontier.nl/en/research/signal-1970fdf81c532471/",
  "title": "Predicting the Next State Is Not Enough: JEPA Representations for Lean Theorem Proving",
  "published": "2026-09-26",
  "excerpt": "Neural theorem provers must both propose tactics and decide which valid successor states to explore. We study whether one-step Lean transitions provide a self-supervised signal",
  "content_sha256": "358b40e74eff7d1b31491c92dd6b5aaeb298dd2a1f89f517a405ce3daf9e4902",
  "extracted_chars": 854,
  "artifact_links": [
    "https://arxiv.org/abs/2609.32908"
  ],
  "arxiv_id": "2609.32908",
  "id": "signal-1970fdf81c532471",
  "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",
    "theorem"
  ],
  "checked_at": "2026-10-31T19:17:04+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "69e8756c7af4348add375c14884d8b86a757f086ec2b9c6503e6f0948b9e959d",
  "source_url": "https://arxiv.org/abs/2609.32908",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}