RAPO-Sol:检索增强偏好优化框架提升仓库级 Solidity 代码生成
针对智能合约代码生成难保语义一致的问题,这篇论文用 RAFT 加 SAP 扰动构造的 DPO,在 SolidityBench 上让三个 7B 级模型都拿到了最好成绩,做合约生成的人可以看看方法细节。
针对智能合约代码生成难保语义一致的问题,这篇论文用 RAFT 加 SAP 扰动构造的 DPO,在 SolidityBench 上让三个 7B 级模型都拿到了最好成绩,做合约生成的人可以看看方法细节。
UCLA博士生搞了个Trace-and-Amplify,不用诱导就能抓训练时的奖励黑客,准确率从60%提到90%,比老方法强多了。
MRCoder用Map-Reduce思路解决仓库级代码生成的上下文选择难题,比现有RAG方法节省30-50% token,推理快52%,在CoderEval和DevEval上准确率更高。
这篇论文为Solidity智能合约代码生成建了个新基准(5470个合约)和专用评分指标,测试了多个主流代码模型的各种方法,结论明确:靠谱的领域数据+微调最管用。
这篇论文测了26种后验操作,结论是除了M1都没跑过最朴素的BoN。M1靠恢复被遗漏的正确代码,让DeepSeek-Coder-1.3B在HumanEval+上多解对12题,值得搞代码生成的同学看看。