{
  "url": "https://appliedfrontier.nl/en/research/signal-d762df67a1c93fa4/",
  "title": "PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean",
  "published": "2026-10-22",
  "excerpt": "Even a carefully proofread paper can leave small gaps in its proofs or its stated assumptions. We introduce PaperFormalizer, a Lean-based agentic pipeline that helps",
  "content_sha256": "ac71fb7b15e875e03ef4572827db2848f00e56791509fbd229afcdf1db9cc120",
  "extracted_chars": 1707,
  "artifact_links": [
    "https://arxiv.org/abs/2610.31810"
  ],
  "arxiv_id": "2610.31810",
  "id": "signal-d762df67a1c93fa4",
  "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",
    "proofread",
    "proofs"
  ],
  "checked_at": "2026-10-31T19:17:04+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "34a40bfc28c64efd646be9c3a15bb05532a719f4798de00fe1af5685403695de",
  "source_url": "https://arxiv.org/abs/2610.31810",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}