该文综述大语言模型与符号推理结合的进展，涵盖Logic-LM（先转符号再求解并自省）、LoGiPT（模拟求解器推理）、SAT辅助语言建模（用定理证明器验证）、Elemental Cognition平台（处理约束优化）、图神经网络提升SAT求解器、可微MAXSAT（将逻辑纳入深度学习）、自监督后训练增强逻辑知识、DaSLaM（分解子问题）、LLM结合符号求解器解代数题提升20%、SYRELM（用强化学习实现算术推理）。