arXiv:2502.00629v1 宣言类型: 新 摘要: 在最近几年里，神经符号方法已成为一种流行且强大的方法，通过增强人工智能系统来执行抽象的、逻辑的和定量的推断，同时提高精度和可控性。最近的研究通过利用各种机器学习模型显式或隐式地预测提供符号指令的中间标签，成功地实现了符号推理。然而，这些中间标签并不总是作为训练数据的一部分为每个任务准备，代表性的预训练模型——大型语言模型（LLMs）——也不一致性地生成有效的符号指令，依靠其固有知识。另一方面，现有的工作开发了替代学习技术，允许学习系统自主发现最优的符号指令。然而，当面对较大的搜索空间或更具挑战性的推理问题时，它们的性能也表现出局限性。鉴于此，在本工作中，我们提出了一种先进的神经符号推理系统的实践方法，以从问题输入和最终输出中进行弱监督探索中间标签。我们在数学数据集上的实验从多个角度证明了我们提出方法的有效性。