Preprint
Aug 2026
SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation
This work presents \textsc{SemaPLC}, a project-grounded and verification-gated agent harness assembled from conventional tools but governed by a strict completion rule, which raises the mean at every layer and most sharply at runtime.
Yanlun Tu, Huacan Wang, Ziyue Zhou et al.
· 0 citations