# Decompiling Quantum Assembly into Structured Programs

> 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.

- Authors: Pingchuan Ma; Zhantong Xue; Zongjie Li; Qixin Zhang; Yuxuan Du; Zhaoyu Wang; Yuguang Zhou; Shuai Wang; Xiaoqin Zhang
- Venue: arXiv
- Status: Preprint
- Publication / posting date: October 4, 2026
- Date source: First arXiv submission; no formal proceedings publication was verified.
- First arXiv submission: October 4, 2026
- arXiv: 2610.05012
- Reviewed arXiv version: v1
- DOI: 10.48550/arxiv.2610.05012
- Sources reviewed: 2026-10-20
- Added to the catalog: 2026-10-20
- Original paper: <https://arxiv.org/abs/2610.05012>
- PDF: <https://arxiv.org/pdf/2610.05012v1>
- BibTeX: <https://awesomerea.org/papers/citations/paper-quelle.bib>
- Catalog page: <https://awesomerea.org/papers/paper-quelle/>
- Record JSON: <https://awesomerea.org/papers/paper-quelle/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/papers/paper-quelle/index.md)

## Scope and limitations

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.

## Why it fits this collection

Adds compiler-output structure recovery with explicit correctness-check boundaries in quantum software.

## Publication and review 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.

## Primary sources

1. <https://arxiv.org/abs/2610.05012v1>
2. <https://arxiv.org/html/2610.05012v1>
3. <https://api.datacite.org/dois/10.48550/arxiv.2610.05012>

## About this entry

Reviewed against the paper and its primary sources. Cite the original authors using the linked paper or BibTeX.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.