SemaPLC：面向PLC代码生成的验证门控代理框架

AI 摘要

SemaPLC 是一个面向 PLC 代码生成的验证门控代理框架，通过外部编译和实时运行验证生成的逻辑，而非仅依赖模型自评。在 117 个独立 POU 任务中，SemaPLC 在七个模型上取得了最高的严格验证通过率（平均 72.6%）；在 65 个真实项目上下文任务中，其集成编译、静态行为和动态行为均表现最佳。动态行为测试最能区分方法，SemaPLC 得分 52.2，远超基线（22.4-31.4）。该框架已开源。

正文节选

SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation Abstract SemaPLC is a verification-gated agent harness that validates generated PLC logic through external compilation and live runtime execution, achieving higher verified pass rates than baseline methods. Programmable logic controllers (PLCs) run industrial plants, and large language models can already generate independent program organization units (POUs) for them. Whether such logic integrates into an exist

发布时间：—

抓取时间：2026-08-20 11:23

来源机构：Hugging Face