arXiv · Software Engineering· Mushahid Khan, Olivia Di Matteo·· 4 hr agoAI score23
量子编译器 Pass 的 Retromorphic Testing
Retromorphic Testing of Quantum Compiler Passes
AI brief
论文提出基于 retromorphic testing 与 Hadamard test 原理的量子编译器 pass 自动验证方法，并用框架 RetroQ 应用于 PennyLane 和 Qiskit。
Source: arXiv · Software Engineering · arxiv.org