developer tools
Quantum Semantics Found Forty Confirmed Library Bugs
QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.
Summary
QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.
On twenty historical silent bugs, the agent achieved higher mean relocation counts than two general coding agents in the authors' setup. It also reported forty previously unknown bugs confirmed by developers, thirty of them silent rather than crashes, by turning semantic mismatches into executable tests.
Why it matters
QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.
Limits and context
No additional limitation was separately recorded.
Key claims
QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.
Evidence: source-2026-10-08-021
Sources
- arXiv preprint 2610.10258arXiv · primary research
Corrections
No corrections have been recorded for this story.