我们正在训练AI模型，需要提供20-50条verus训练数据，以提高代码输出效率和准确性。欢迎投简历，联系方式：764586552@qq.com，期待长期合作。

我们正在训练AI模型，需要verus的训练数据，以提高代码输出的效率和准确性。欢迎提供20-50条数据，期待长期合作。

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