#代码正确性

共 3 条 · 7 天 0 条 · 30 天 2 条

Anthropic 1 AUROC 1 gpt-oss 1 LLM 1 Qwen3-Coder 1 因果定位 1 形式化验证 1

信息流里打上「代码正确性」标签的资讯、产品与论文，按刊登时间排，新的在上。

11月6日

论文 Agent 与开发者11:29

研究比较六种免执行代码正确性预测器在分布偏移下的表现

让模型自己判断代码对不对，又不想跑测试？这篇论文测了六种免执行预测器在换语言、换基准后还靠不靠谱，结论很具体。

#Qwen3-Coder #gpt-oss #代码正确性 #AUROC

arXiv cs.LG@Viola Campos 等 3 人原文

10月23日

论文 Agent 与开发者官方一手09:01

Anthropic：LLM 让形式化软件验证得以大规模落地

Anthropic 讲了怎么用 LLM 搞形式化验证，写代码的朋友可以看看代码正确性能不能这么保证。

#Anthropic #形式化验证 #LLM #代码正确性

官方一手Anthropic: Research原文

6月15日

Qwen3代码正确性在隐藏状态中的可解码性

论文揭示Qwen3隐藏状态如何预测代码正确性

#Qwen3 #代码正确性 #隐藏状态 #LiveCodeBench

arXiv cs.LG@Carlo Di Cicco原文