本研究提出INPROVF框架,结合大型语言模型与形式方法,提升高层次机器人控制器的修复效率。通过将自然语言描述转化为符号表示,提供反馈并迭代生成改进方案,从而显著提高修复效率和候选质量。
这篇博客介绍了作者在新公司入职后接触的机器人控制器技术栈是.net C#,分享了搭建开发环境、使用Copilot和绘制函数调用图的方法。作者使用VSCode+Docker搭建开发环境,设置Nuget源编译代码。推荐了Copilot在阅读代码时的帮助,并介绍了使用doxygen和graphviz绘制函数调用图的步骤。
完成下面两步后,将自动完成登录并继续当前操作。