提出了Ctrl-G,一个神经符号框架,使任意大型语言模型能够在遵循逻辑约束(长度控制、填充……)的情况下提供100%的保证。在文本编辑任务中,Ctrl-G的用户满意度比GPT-4高出30%以上。 https://arxiv.org/abs/2406.13892