SCRBench基准:高等价性准确率难掩语义变更推理短板
热点事件持续更新
SCRBench基准:高等价性准确率难掩语义变更推理短板
1 篇报道1 个报道来源9 小时前更新
先了解这件事
AI 综述
Omid Saghatchian等研究者构建了SCRBench基准,包含67,658对通过施加代码变更序列生成的Python程序对,并在4,500对分层子集上评测五个语言模型。结果显示,等价性准确率达94.71%的模型仅能诊断54.44%的语义变更,最佳模型也只能精确重建39.27%的变更序列;施加五次变更后,无模型超过1.11%。研究者据此认为,高等价性准确率会高估模型对代码变更语义影响的实际推理能力。
AI 根据报道生成 · 51 分钟前更新
最新进展11月2日 13:00
SCRBench:超越等价性检查,评估代码语义变更推理报道时间线
沿着报道,了解事件的不同侧面。
11月2日
- arXiv cs.CLSCRBench:超越等价性检查,评估代码语义变更推理
研究者构建 SCRBench,包含 67,658 对通过施加代码变更序列生成的 Python 程序对,并在 4,500 对分层子集上评测五个语言模型。等价性准确率达 94.71% 的模型仅能诊断 54.44% 的语义变更,最佳模型也只能精确重建 39.27% 的变更序列,施加五次变更后无模型超过 1.11%。高等价性准确率因此高估了模型对代码变更语义影响的实际推理能力。
本事件热度走势
还没有足够的连续观测数据,暂不绘制趋势。