Papers

Filtered to verification-gated agents · clear filter

Browse by term

continual learning 86reinforcement learning 48benchmarking 13large language models 12benchmarks 11vision-language models 10language models 9robotics 7world models 7natural language processing 6recursive self-improvement 6generative models 5on-policy distillation 5video generation 5attention mechanisms 4coding agents 4LLMs 4multi-agent systems 4multimodal learning 4multimodal models 4self-distillation 4self-supervised learning 4transformers 4vision-language-action models 4world modeling 4agent-based systems 3agentic models 3agentic search 3agents 3autonomous systems 3

Matching papers

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

115 upvotes · 19 AUG 2026 · Yanlun Tu, Huacan Wang, Ziyue Zhou et al.

This paper introduces SemaPLC, a tool that helps generate PLC code that works correctly by verifying it against external checks, ensuring it meets specifications and behaves as expected in real-world conditions. Practitioners can use SemaPLC to improve the quality of their PLC projects.

PLC code generationverification-gated agentsindustrial automationprogrammable logic controllerscontinual verification