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