VERUS-LM：一种结合大型语言模型与符号推理的多功能框架

本研究针对当前神经符号推理在通用性、效率和推理能力方面的不足，引入了VERUS-LM框架。该框架通过通用提示机制和知识与查询的清晰分离，支持各种逻辑推理任务，实现了更好的适应性与计算效率，并在复杂推理任务中明显优于现有大型语言模型。此工作为更具多功能性的神经符号人工智能系统迈出了重要的一步。