2 papers
eess.SY2026
Large Language Models as Falsifiers for Cyber-Physical Systems
Ali ArjomandBigdeli, Jiawei Zhou, Stanley Bak
Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications written in Signal Temporal Logic (STL), falsification can b…
cs.AI2026
Spillover-Aware Multi-Value Steering for Pluralistic LLM Alignment
Weici Pan, Xander Barron, Jiawei Zhou +1
Activation steering controls LLM behavior at inference time by adding learned directions to hidden states, but existing methods handle one concept at a time. Pluralistic alignment,…