Programmable logic controllers (PLCs) run much of the world's industrial automation, but writing and validating their IEC~61131-3 Structured Text (ST) is time-consuming and expert-intensive. Large language models (LLMs) can draft ST from a natural-language description, but existing open-source PLC editors give users no...
Yan-Lun Tu, Hua-Can Wang, Zi-Yue Zhou et al.· Companion Proceedings of the...· 0 citations
This paper looks at three main ways to solve the multi-armed bandit problem: Explore-Then-Commit, Upper Confidence Bound, and Thompson Sampling, and shows where these methods are used in real life: online ads, where they improve click rates by about 11%; movie and music suggestions, where they help new users find conte...
Ziyue Zhou· Applied and Computational En...· 0 citations
DEHALL is proposed, an automated end-to-end unit test generation tool that systematically mitigates both types of hallucinations through comprehensive context construction and targeted static analysis-based repair.
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.
