arXiv AI

Aligning Quantum Operators with Large Language Models

arXiv:2606. 13811v1 Announce Type: cross Abstract: Can Large Language Models (LLMs) understand and reason about quantum operators?

arXiv AI
Aug 20

AlphaClifford: Efficient Clifford Synthesis and Transpilation with Model-based RL

AlphaClifford is a model‑based reinforcement learning framework that uses Monte Carlo Tree Search to synthesize Clifford circuits from the H, S, and CNOT gate set. By modeling the state space with the algebraic properties of the symplectic group, it consistently reduces total and two‑qubit gate counts compared to existing heuristics. The approach also extends to hardware‑constrained transpilation and serves as a post‑synthesis optimizer in a full Clifford+T pipeline.

By Daniele Lizzio Bosco, Jacopo Cossio, Carla Piazza, Giuseppe Serra
arXiv AI
Jul 24

PennySynth: RAG-Driven Data Synthesis for Automated Quantum Code Generation

arXiv:2605. 25572v2 Announce Type: replace-cross Abstract: The growing complexity of quantum programming frameworks has exposed a critical limitation in existing large language model (LLM)-based code assistants: general-purpose models hallucinate PennyLane-specific gate names, misplace device configurations, and produce structurally invalid circuits when faced with specialized quantum coding challenges.

By Minghao Shao, Nouhaila Innan, Hariharan Janardhanan, Muhammad Kashif, Alberto Marchisio, Muhammad Shafique
arXiv AI
Jul 13

QAgent: An LLM-based Multi-Agent System for Autonomous OpenQASM programming

arXiv:2508. 20134v2 Announce Type: replace Abstract: Programming quantum circuits at the OpenQASM level is essential for achieving hardware-aware optimization and reliable execution on noisy intermediate-scale quantum (NISQ) devices, yet it remains challenging due to the need for domain-specific planning, iterative code synthesis, and low-level calibration.

By Zhenxiao Fu, Lei Jiang, Yilun Xu, Gang Huang, Fan Chen
arXiv Machine Learning
Sep 18

QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?

QEncodeBench evaluates whether large language models can translate classical constraint problems into verified quantum phase oracles. The benchmark measures the correctness of generated circuits using an adversarial self‑validated verifier that checks full solution‑set equivalence while enforcing resource limits. Results show that models lacking a reasoning mode perform poorly, whereas enabling native reasoning improves accuracy tenfold; semantic errors dominate, and neuro‑symbolic pipelines close most gaps by delegating critical composition to deterministic procedures.

By Xujun Che, Hanhan Wu, Yuchen Yuan, Chenyang Yu
arXiv Machine Learning
Sep 23

Bridge of $\Psi$'s: Quantum Circuit Optimization with Schr\"odinger Bridges

Bridge of Ψ's (BOPS) is a generative model that learns to transform quantum circuits into equivalent, optimized versions using Schr"odinger bridges and a custom denoiser architecture. Trained on data engineered to challenge existing optimizers, BOPS achieves a 2.46× reduction in gate count and a 2.45× reduction in depth on 8‑qubit, 64‑depth Clifford+$T$ circuits, outperforming nine baseline optimizers. This work demonstrates the first successful application of generative machine learning to quantum circuit optimization, expanding the quantum compilation stack with learned techniques.

By Lino S. Hofstetter, Lia Yeh, Prakash Murali
arXiv Machine Learning
Sep 17

Variational Quantum Transformer Architecture for Synthetic Language Generation

The paper introduces a compact, NISQ‑compatible quantum transformer for synthetic QNLP sequence modelling. It replaces classical attention and feed‑forward layers with variational quantum encoder blocks, connector circuits, decoder blocks, and a two‑qubit measurement readout, while preserving the autoregressive next‑token interface. The authors evaluate several variants on deterministic and lexicographic grammar‑generation tasks, finding that the quantum models can learn nontrivial grammar structure but are less accurate and stable than a compact classical transformer baseline.

By Julian Hager, Michael K\"olle, Gerhard Stenzel, Tobias Rohe, Jonas Stein, Claudia Linnhoff-Popien