研究论文考察确定性证据在软件保障中的可靠性
热点事件持续更新
研究论文考察确定性证据在软件保障中的可靠性
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
S M Abdulla Al Mamun、Akif Islam 和 Mohd. Ruhul Ameen 提交 arXiv 论文（arXiv:2610.36947），通过五组实验考察在已有确定性工具证据时，增加专家语言模型上下文能否改进软件保障。论文称，实验结果支持在所测试的设置中采纳确定性证据，同时暴露出结论聚合、反馈解读和现有评估覆盖面的局限。
AI 根据报道生成 · 1 小时前更新
最新进展10月28日 12:00
QASecLib 之外：智能体扩展、验证器反馈与证据可靠性研究（软件保障）报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- arXiv cs.AIQASecLib 之外：智能体扩展、验证器反馈与证据可靠性研究（软件保障）
一项 arXiv 研究通过五组实验考察在已有确定性工具证据时，增加专家语言模型上下文能否改进软件保障，评估系统基于 Qwen2.5-Coder-7B-Instruct（含 1.5B 敏感性分析），共完成 13,638 次模型请求。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。