15 citations · 22 across the 4 of their papers we have counts for
Showing 2024Show 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.CR2024★ 5 cited
S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Xiaohan Yuan, Jinfeng Li, Dongxia Wang +9
Generative large language models (LLMs) have revolutionized natural language processing with their transformative and emergent capabilities. However, recent evidence indicates that…