{
  "added_at": "2026-10-20",
  "arxiv_id": "2610.05012",
  "arxiv_version_reviewed": "v1",
  "authors": [
    "Pingchuan Ma",
    "Zhantong Xue",
    "Zongjie Li",
    "Qixin Zhang",
    "Yuxuan Du",
    "Zhaoyu Wang",
    "Yuguang Zhou",
    "Shuai Wang",
    "Xiaoqin Zhang"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-quelle.bib",
  "code_url": null,
  "date_basis": "First arXiv submission; no formal proceedings publication was verified.",
  "date_basis_zh": "采用首次 arXiv 提交日期，未核实正式会议录出版。",
  "date_precision": "day",
  "description_en": "Quelle recovers library calls, loops, functions and symbolic parameters from compiled OpenQASM. It removes routing artifacts, proposes structured reconstructions and checks them against circuit semantics, retaining gate-level fallbacks when recovery fails.",
  "description_zh": "Quelle 从编译后的 OpenQASM 恢复库调用、循环、函数及符号参数，通过消除路由痕迹、提出结构化重建并核对电路语义，在恢复失败时保留门级表示。",
  "doi": "10.48550/arxiv.2610.05012",
  "entry_url": "https://awesomerea.org/papers/paper-quelle/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-quelle/",
  "evidence_urls": [
    "https://arxiv.org/abs/2610.05012v1",
    "https://arxiv.org/html/2610.05012v1",
    "https://api.datacite.org/dois/10.48550/arxiv.2610.05012"
  ],
  "first_arxiv_date": "2026-10-04",
  "id": "paper-quelle",
  "json_url": "https://awesomerea.org/papers/paper-quelle/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-quelle/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-quelle/index.md",
  "metadata_notes": "Reviewed October 4 v1 and DataCite identity. The article is CC BY 4.0. No dedicated author-linked implementation or artifact release was verified from the manuscript and targeted searches.",
  "metadata_notes_zh": "已复核 10 月 4 日 v1 与 DataCite 身份，文章采用 CC BY 4.0。手稿及定向检索中未核实作者关联的专用实现或产物发布。",
  "pdf_url": "https://arxiv.org/pdf/2610.05012v1",
  "project_url": null,
  "publication_date": "2026-10-04",
  "publication_status": "preprint",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "Scope is quantum circuits with ideal-device semantics, not original-source identity. Dense checks use a 1e-6 tolerance; larger circuits additionally trust rewrite bookkeeping, an unchecked wide H-conjugation identity and QCEC. Dynamic circuits and timed-out checks remain unverified. Algorithm naming needs templates, and deliberate obfuscation is outside the evaluated scope.",
  "scope_limitations_zh": "范围限于理想设备语义下的量子电路，不保证恢复原作者源码。稠密检查采用 1e-6 容差，大电路还依赖可信重写记录、未检查的宽区域 H 共轭恒等式及 QCEC；动态电路及超时检查保持未验证。算法命名需要模板，刻意混淆不在评估范围内。",
  "targets": [
    "binary"
  ],
  "title": "Decompiling Quantum Assembly into Structured Programs",
  "title_zh": "将量子汇编反编译为结构化程序",
  "url": "https://arxiv.org/abs/2610.05012",
  "venue": "arXiv",
  "verification": "source-reviewed",
  "verified_at": "2026-10-20",
  "why_fits_en": "Adds compiler-output structure recovery with explicit correctness-check boundaries in quantum software.",
  "why_fits_zh": "补充量子软件编译产物的结构恢复方法，并明确正确性检查的边界。",
  "year": 2026
}