Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
PLCBench: Can Autonomous LLM Agents Turn PLC Access into Sustained Physical Impact?
Yitian Zhou, Jingyu Zheng, Qiliang Jiang +6
Industrial control systems (ICSs) rely on programmable logic controllers (PLCs) to connect networked computation with physical control. Tool-using large language model (LLM) agents…
cs.CR2026
Certified Speculative Execution for Untrusted AI Agents
Chenyu Zhou, Qiliang Jiang, Shuning Wu +1
Hard-constrained sequential decision systems have no certified way to spend the test-time compute of modern AI: executing the multi-step drafts of a learned policy or a frozen LLM…