One email each morning — yesterday's AI, sortedGet it in your inbox

METAL LAB

SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation

arXiv:2608.185652026-08-18

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 existing PLC project and then runs correctly has been checked only in limited tests. We present SemaPLC, a project-grounded and verification-gated agent harness assembled from conventional tools but governed by a strict completion rule. Rather than stopping when the model judges its own output ade

Authors · Yanlun Tu

Read on arXiv

Latest papers

All papers →

Latest from METAL LAB