arXiv cs.SE· Yanlun Tu, Huacan Wang, Jin Xie, Ziyue Zhou, Jie Zhou, Ningyan Zhu, Ge Chen, Wangyi Chen, Tengfei Zhou, Yifan Zhou, Dasheng Yang, Xiaofeng Mou, Hui Zhang, Yi Xu·· 2 小时前AI 评分38
SemaPLC：面向 PLC 代码生成的项目落地验证门控智能体框架
SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation
AI 导读
作者提出 SemaPLC，一个以项目上下文为基础、以验证为门控的 PLC 代码生成智能体框架，将规格审查、编译与实时运行验证串联，编辑后旧验证结论失效并触发有界修复。
来源：arXiv cs.SE · arxiv.org