一个用独立基准判定测试质量的量子代码测试框架，揭示“测试能运行”与“测试能发现缺陷”之间的差距。
提出 RetroQ 框架，结合回溯测试与 Hadamard 测试思想检查量子编译器 pass 的语义保持和结构修改。
研究大语言模型自主地把 QED-C 量子基准从 Qiskit 迁移到 CUDA-Q，分析生成代码的效率、可靠性与验证需求。