arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2026-05-05 至 2026-05-05 共收录 1 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 1 篇

2510.22907 2026-05-05 cs.CL cs.AI cs.PL cs.SE 70%

Reinforcement Learning from Compiler and Language Server Feedback

从编译器和语言服务器反馈中学习强化学习

Yifan Zhang, Lanser Contributors

机构 * Princeton University(普林斯顿大学)

专题命中 程序分析与验证 :coding agent(abstract);分类 cs.SE、cs.CL、cs.AI

AI总结 本文提出RLCSF方法和Lanser-CLI工具,通过编译器和语言服务器的反馈信号提升编码代理的可靠性,利用确定性奖励函数和分析捆绑技术实现过程监督。

Comments Project Page: https://github.com/yifanzhang-pro/lanser-cli

详情

展开后加载摘要…

URL PDF HTML 收藏