4 papers
Quantum Mutant Equivalence via Transpilation
José Campos, Andriy Miranskyy
Mutation testing evaluates test suite quality by introducing artificial faults (mutants) and checking whether tests detect (kill) them. A central challenge is the equivalent mutant…
Improving Zero-Noise Extrapolation via Physically Bounded Models
Andriy Miranskyy, Adam Sorrenti, Jasmine Thind +1
Zero-noise extrapolation (ZNE) mitigates errors in near-term quantum devices by extrapolating measurements obtained at amplified noise levels to estimate noise-free expectation val…
The Cost of Certainty: Shot Budgets in Quantum Program Testing
Andriy Miranskyy
As quantum computing advances toward early fault-tolerant machines, testing and verification of quantum programs become urgent but costly, since each execution consumes scarce hard…
QSpark: Towards Reliable Qiskit Code Generation
Kiana Kheiri, Aamna Aamir, Andriy Miranskyy +1
Quantum circuits must be error-resilient, yet LLMs like Granite-20B-Code and StarCoder often output flawed Qiskit code. We fine-tuned the Qwen2.5-Coder-32B model with two RL method…