语义控制解码：SEM-CTRL

本研究解决了大型语言模型（LLM）输出中语法和语义正确性的问题，提出了一种统一的方法SEM-CTRL，能够在LLM解码器上直接施加上下文敏感的约束和特定任务的语义。这种方法利用回答集文法表达输出约束，确保在不进行微调的情况下能够正确完成多种任务，显著提高了小型预训练LLM的性能，并保证了解决方案的正确性。