2 papers
cs.CL2024
From Instructions to Constraints: Language Model Alignment with Automatic Constraint Verification
Fei Wang, Chao Shang, Sarthak Jain +6
User alignment is crucial for adapting general-purpose language models (LMs) to downstream tasks, but human annotations are often not available for all types of instructions, espec…
eess.SY2023
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests
Yu Chen, Chao Shang, Xiaolin Huang +1
In this work, we investigate the data-driven safe control synthesis problem for unknown dynamic systems. We first formulate the safety synthesis problem as a robust convex program…