蚂蚁推出的开源模型CGM在SWE-bench Lite上表现出色，修复bug成功率达到44%。该模型通过融合代码图模态，提升了代码理解和修复效率，减少了对复杂Agent的依赖，展现出强大的跨语言和跨项目能力。CGM的技术和代码已开源，提供灵活透明的解决方案。

微软在Windows 11 RE中测试快速机器恢复功能，旨在通过联网自动检索解决方案，快速恢复因蓝屏死机崩溃的系统，减少IT管理员的干预，提升个人和企业用户的修复效率。

本研究提出INPROVF框架，结合大型语言模型与形式方法，提升高层次机器人控制器的修复效率。通过将自然语言描述转化为符号表示，提供反馈并迭代生成改进方案，从而显著提高修复效率和候选质量。