2 citations · 2 across the 10 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024★ 2 cited
Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
Zihan Liu, Ruinan Zeng, Dongxia Wang +5
In industrial control systems, the generation and verification of Programmable Logic Controller (PLC) code are critical for ensuring operational efficiency and safety. While Large…
cs.SE2023
SUT: Active Defects Probing for Transcompiler Models
Mengnan Qi, Yufan Huang, Maoquan Wang +5
Automatic Program translation has enormous application value and hence has been attracting significant interest from AI researchers. However, we observe that current program transl…