大型语言模型的可靠控制是一个关键问题。我们提出了GeLaTo（生成具有可处理约束的语言），这是一个神经符号框架，允许LLM在100%保证下生成遵循逻辑/词汇约束的文本。请参见 https://arxiv.org/abs/2304.07438
