QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents

arXiv:2610.10258 · cs.SE, cs.AI, quant-ph · Submitted 2026-10-07 · Read on arXiv

cs.SE, cs.AI, quant-ph

Submitted: 2026-10-07

Updated: 2026-10-07

Code: https://github.com/Qiskit/qiskit

Terminology

• Verification — 20× in this paper · explained in 2 episodes
• Benchmark — 18× in this paper · explained in 2 episodes
• International Conference on Software Engineering — 4× in this paper
• Abstraction — 3× in this paper · explained in 1 episode
• Large Language Models (LLMs) — 3× in this paper · explained in 6 episodes
• Benchmarking — 2× in this paper · explained in 3 episodes
• Hallucination — 2× in this paper · explained in 3 episodes
• Quantum Circuits — 2× in this paper · explained in 2 episodes
• Ablation — 1× in this paper · explained in 1 episode
• Ablation Studies — 1× in this paper · explained in 1 episode
• Accuracy — 1× in this paper · explained in 1 episode
• Adam — 1× in this paper · explained in 2 episodes
• Agentic Loop — 1× in this paper · explained in 1 episode
• Consistency — 1× in this paper · explained in 3 episodes
• Core — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Grounding — 1× in this paper · explained in 3 episodes
• Hilbert Space — 1× in this paper · explained in 2 episodes
• Topological Order — 1× in this paper · explained in 2 episodes

Sources

• Quantum computing with Qiskit
• PennyLane: Automatic differentiation of hybrid quantum-classical computations
• A Survey on Testing and Analysis of Quantum Software
• KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models
• Understanding Bugs in Quantum Simulators: An Empirical Study
• QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
• QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
• QBugLM: An Agentic Benchmarking Framework for LLM-based Quantum Software Debugging
• FuzzingBrain V2: A Multi-Agent LLM System for Automated Vulnerability Discovery and Reproduction
• RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties