7 papers
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…
Multilingual Verifier Bias in RLVR: Benchmark, Rollout Diagnosis, and the Cross-Lingual Selection Bottleneck
Chenyu Zhou, Qiliang Jiang, Xu Zhou
Reinforcement learning with verifiable rewards (RLVR) is a standard recipe for training large language models on mathematical reasoning, where an answer verifier serves as a langua…
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…
The Verifier is the Curriculum: Execution-Gated Self-Distillation for Cross-Family Game Generation
Chenyu Zhou, Qiliang Jiang, Shuning Wu +1
Post-training a code generator against a learned judge can optimize proxy features that raise the score without improving the artifact. We study the opposite signal: a deterministi…
Mechanism-Guided Selective Unlearning for RLVR-Induced Reasoning
Chenyu Zhou, Qiliang Jiang, Shuning Wu +1
We propose MAST (Mechanism-Aligned Selective Targeting), a mechanism-guided method for unlearning RLVR-induced reasoning with substantially lower collateral damage than standard fu…
Dense Coordinate-List Fine-Tuning Induces a Controllable Interference Surface in Vision-Language Models
Chenyu Zhou, Qiliang Jiang, Boguang Pan
Fine-tuning vision-language models to emit dense coordinate lists improves visual grounding but also changes how models serialize, repeat, and terminate structured outputs. We stud…