SemaPLC：面向 PLC 代码生成的项目基础与验证门控代理框架
SemaPLC 是一个用于生成可编程逻辑控制器（PLC）代码的代理框架。它整合传统工具，只有在外部检查确认规格、编译结果以及实时运行环境中的行为后，才会判定任务完成。在涵盖 117 个独立程序组织单元任务、涉及 7 个模型的测试中，SemaPLC 的严格验证通过率平均达到 72.6%。在另一项包含 65 个项目上下文任务的测试中，生成的逻辑必须在现有项目内完成编译并运行；SemaPLC 在集成编译、静态行为和动态行为方面的平均表现同样最高。实时运行测试最能拉开差距：SemaPLC 的动态行为得分为 52.2，而基线方法为 22.4 至 31.4。该项目已开源。
本文来源：Hugging Face，仅供学习参考，版权归原作者所有。