TY - RPRT TI - From Instructions to Constraints: Language Model Alignment with Automatic Constraint Verification AU - Fei Wang AU - Chao Shang AU - Sarthak Jain AU - Shuai Wang AU - Qiang Ning AU - Bonan Min AU - Vittorio Castelli AU - Yassine Benajiba AU - Dan Roth PY - 2024 UR - https://arxiv.org/abs/2403.06326 ID - 2403.06326 ER -