arXiv cs.AI / cs.LG 最新· S M Abdulla Al Mamun·· 19 小时前AI 评分46
超越 QASecClaw：软件保障中的智能体扩展、验证器反馈与证据可靠性
Beyond QASecClaw: Agent Scaling, Verifier Feedback, and Evidence Reliability in Software Assurance
AI 导读
五组实验测试 Qwen2.5-Coder-7B-Instruct 在确定性工具证据已可用时的软件保障表现，共完成 13,638 次模型请求。上下文数从 1 增至 50 使 token 用量增 49 倍却未改善不安全放行；32 个 SV-COMP 任务上验证器反馈把正确判定均值从 12.7 升至 22.0，错误判定从 1 升到 7。结果支持受测场景采用确定性证据准入，也暴露判定聚合与反馈解读的局限。
标题与摘要由 AI 辅助生成，事实与观点以原文为准。
来源：arXiv cs.AI / cs.LG 最新 · arxiv.org
本站标题、摘要与推荐理由由 AI 辅助生成；原文版权归来源所有。