Adaptable Logical Control for Large Language Models - Zhang, Honghua; Kung, Po-Nien; Yoshida, Masahiro; Van den Broeck, Guy; Peng, Nanyun (Advances in Neural Information Processing Systems, 2024)