{
  "url": "https://appliedfrontier.nl/en/research/signal-546a8fe93d7faa84/",
  "title": "Transformed in Translation: Two-Stage Structural Uncertainty in LLM-Based Scientific Autoformalization",
  "published": "2026-09-13",
  "excerpt": "Scientific autoformalization turns verbal accounts into executable mathematics, but executable code does not settle which model has been constructed. We examine two sources of structural",
  "content_sha256": "5a1a433522f8b23eca9ae723a148582bdcbd6244925038bd5175c08bea093fda",
  "extracted_chars": 1668,
  "artifact_links": [
    "https://arxiv.org/abs/2609.14808"
  ],
  "arxiv_id": "2609.14808",
  "id": "signal-546a8fe93d7faa84",
  "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": [
    "mathematics"
  ],
  "checked_at": "2026-10-31T19:17:04+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "21fb0fb685c9eb96dc55521e68efe3312a4cc6d8befe1950af2f0d90c7ea1569",
  "source_url": "https://arxiv.org/abs/2609.14808",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}