Eidoku：通过结构约束满足实现LLM推理的神经符号验证门

这篇文章介绍了Eidoku，这是一种改进大型语言模型（LLM）推理能力的新方法。它利用神经符号方法，将神经网络与符号推理相结合，特别是使用结构约束满足。这表明重点是通过结合验证步骤来提高LLM输出的可靠性和准确性。“门”的使用意味着一种基于验证过程控制或过滤LLM输出的机制。