跳到正文
arXiv · cs.AI· Yujin Song, Kaining Zhang, Qixin Zhang, Shuai Wang, Pingchuan Ma, Yuxuan Du·· 21 小时前

QuSema:利用量子知识增强智能体检测量子库静默缺陷

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

arXiv:2610.10258v1阅读论文 PDF ↗

仅依据论文摘要整理;未读取全文,实验条件、证明与基准细节请核对原文。

作者:Yujin Song, Kaining Zhang, Qixin Zhang, Shuai Wang, Pingchuan Ma, Yuxuan Du

首次提交:2026-10-07 23:33

研究任务与主要进展

QuSema 是一种用于发现量子库静默缺陷的自主测试智能体,利用量子语义和文档约束作为源代码级语义 oracle,并通过检查 API 文档与源码、推理预期行为和生成可执行测试来验证潜在偏差。

阶段、条件与复现 · 深读核对

  • AI 解决哪一个明确的量子问题?
  • 训练数据、物理约束、误差与分布外检验是什么?
  • 相同精度和总资源下,是否优于已有方法?

这些是阅读核对问题;材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。

来源:arXiv · cs.AI · arxiv.org