#Qwen2.5-Coder

共 11 条 · 7 天 1 条 · 30 天 4 条

DeepSeek-Coder 5 AI安全 2 代码生成 2 DeepSeek-Coder-V2-Lite 1 Defects4J 1 EquivSVA 1 GPT 1 GraphAHA 1

信息流里打上「Qwen2.5-Coder」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月7日

论文 Agent 与开发者10:37

论文提出加权质量指数，多维评估代码修复模型表现

想给项目挑代码修复模型的话，这篇用 QI 指标把安全性、维护性和成本都算进去了，还发现 MoE 用更少激活参数打平稠密模型。

#Qwen2.5-Coder #DeepSeek-Coder-V2-Lite #自动程序修复 #QuixBugs

arXiv: DeepSeek@Anvi Kalpesh Shah, Umamaheswara Sharma B原文

9月23日

论文 Agent 与开发者10:19

EquivSVA：面向等价 RTL 实现的形式化验证断言数据集

研究 RTL 断言生成的可以看看，120 个行为族都做了形式化验证，还能测模型对等价实现的鲁棒性。

#EquivSVA #SystemVerilog #Qwen2.5-Coder #形式化验证

arXiv cs.LG@FNU Aditi原文

9月14日

模型 Agent 与开发者精选12:59

图基自适应搜索方法 GraphAHA 改进代码生成效果

这个方法挺有意思，用图结构来优化代码生成，能更高效地利用计算预算，提升生成质量。

#GraphAHA #Qwen2.5-Coder #DeepSeek-Coder #代码生成

arXiv: DeepSeek@Xitao Li 等 7 人原文

论文 Agent 与开发者精选12:58

研究对比人类与AI生成的代码质量差异

这个研究很实用，对比了人类和AI生成的代码质量差异，比如AI代码结构更紧凑但可能更模板化，不同语言的安全漏洞情况也不同，对开发者应该有帮助。

#Qwen2.5-Coder #DeepSeek-Coder #GPT #代码质量

arXiv: DeepSeek@Cristina Improta 等 3 人原文

9月9日

论文 Agent 与开发者11:48

LLM与规则注入在OpenStack中的故障测试对比

阿里和DeepSeek的代码模型在云系统故障测试中表现如何？和传统规则注入有什么不同？

#Qwen2.5-Coder #DeepSeek-Coder #OpenStack #故障注入

arXiv: DeepSeek@Giuseppe De Rosa 等 3 人原文

8月9日

模型精选02:28

UCLA博士生发布Trace-and-Amplify，可规模化采集训练时奖励黑客

UCLA博士生搞了个Trace-and-Amplify，不用诱导就能抓训练时的奖励黑客，准确率从60%提到90%，比老方法强多了。

#Trace-and-Amplify #Qwen2.5-Coder #DeepSeek-Coder #奖励黑客

lmarena.ai@lmarena_ai原文

7月30日

论文09:22

MRCoder：一种用于仓库级代码生成的高效上下文选择方法

MRCoder用Map-Reduce思路解决仓库级代码生成的上下文选择难题，比现有RAG方法节省30-50% token，推理快52%，在CoderEval和DevEval上准确率更高。

#MRCoder #Qwen2.5-Coder #DeepSeek-Coder #代码生成

arXiv: DeepSeek@Peiding Wang 等 3 人原文

7月21日

论文10:01

代码智能体轨迹数据筛选对LoRA微调的效果：系统评估

这篇论文系统测试了用SWE-trajectory数据微调Qwen2.5-Coder时，不同轨迹筛选方法的效果，发现数据质量和数量在不同规模下影响不同，值得参考。

#Qwen2.5-Coder #LoRA #SWE-trajectory #代码智能体

arXiv cs.AI@Yunze Han原文

6月19日

论文09:35

SolidityBench：面向存储库级Solidity代码生成的新型基准与语义度量

这篇论文为Solidity智能合约代码生成建了个新基准（5470个合约）和专用评分指标，测试了多个主流代码模型的各种方法，结论明确：靠谱的领域数据+微调最管用。

#Solidity #SolidityBench #SolidityScore #Qwen2.5-Coder

arXiv: DeepSeek@Shi Chen 等 6 人原文

6月16日

模型19:02

3B模型VibeThinker-3B在推理任务上达到高竞争力水平

3B的小模型在数学和代码推理上快追上大模型了，适合部署在低算力场景，值得关注。

#VibeThinker-3B #Qwen2.5-Coder #推理模型 #小模型

kimmonismus@kimmonismus原文

5月20日

论文精选10:38

安全对齐对自主安全智能体的影响：Gemma 4 等模型实测

安全智能体开发者需要了解：去对齐模型在漏洞分析任务上可能提升成功率，但效果因模型而异，且硬核漏洞验证任务仍未解决。建议点开查看具体轨迹数据和任务分类，避免盲目采用去对齐策略。

#安全智能体 #安全对齐 #Gemma 4 #Qwen2.5-Coder

事件专题

arXiv cs.AI@Isaac David, Arthur Gervais2 个信源在谈原文