Coder近期进展

Cursor支持在自管机器和沙盒提供商上运行智能体

Cursor支持在自管机器和沙盒提供商上运行智能体 Cursor近日宣布，其智能体现在可以在自管机器和沙盒提供商上运行，这为智能体的应用提供了更广泛的平台。

SchemaGUI：可控制GUI生成评估的模板基准 arXiv: DeepSeek发布了一项关于SchemaGUI的研究，该工具能够控制GUI生成评估的模板基准，为界面设计提供了新的工具。

UCLA博士生发布Trace-and-Amplify，可规模化采集训练时奖励黑客 lmarena.ai报道，UCLA博士生发布了Trace-and-Amplify，这是一种可规模化采集训练时奖励黑客的方法。

开源权重LLM能生成内核验证的Coq证明吗？初步研究 arXiv: DeepSeek发布了一项关于开源权重LLM生成内核验证的Coq证明的初步研究。

清华开源VeriLoop Coder-E1，证据治理螺旋驱动可验证递归自改进 pandaily报道，清华大学开源了VeriLoop Coder-E1，这是一种基于证据治理螺旋驱动的可验证递归自改进的代码生成工具。

CoGate：置信度门控协同解码提升代码生成安全性 arXiv: DeepSeek发布了一项关于CoGate的研究，该工具通过置信度门控协同解码提升了代码生成的安全性。

MRCoder：一种用于仓库级代码生成的高效上下文选择方法 arXiv: DeepSeek发布了一项关于MRCoder的研究，这是一种用于仓库级代码生成的高效上下文选择方法。

快手KwaiKAT团队发布KAT-Coder-V2.5：基于10万可验证环境的智能体编程模型 marktechpost报道，快手KwaiKAT团队发布了KAT-Coder-V2.5，这是一个基于10万可验证环境的智能体编程模型。

研究解耦代码模型表示中任务、语言与模型的作用 arXiv: DeepSeek发布了一项关于解耦代码模型表示中任务、语言与模型作用的研究。

Genspark发布GenTeam：100%智能体友好的团队聊天工具 Eric Jing报道，Genspark发布了GenTeam，这是一个100%智能体友好的团队聊天工具。

近期，Coder领域的研究主要集中在提升代码生成的效率和安全性上。从上述报道中可以看出，无论是开源工具的开发，还是智能体编程模型的训练，都取得了显著的进展。同时，研究者们也在探索如何更好地解耦代码模型表示中的各个元素，以提高模型的灵活性和准确性。