大型语言模型正使形式化软件验证在更大规模上成为可能 大型语言模型（LLMs）正在使形式化软件验证在更大规模上成为可能，通过自动化定理证明、代码合成和分析以及自然语言规范，提高可访问性和效率，增强软件系统的可靠性。 2026-10-23 AI & Machine Learning 0 Administrator
超越二元可验证奖励：SWE代理的行为自我奖励 传统的二元奖励在软件智能体训练中过于粗略，无法捕捉性能的细微差别。行为自我奖励（BSR）机制允许智能体评估自身行为轨迹，提供更细致的反馈，从而实现更稳健和高效的表现。 2026-10-12 AI & Machine Learning 0 Administrator