I believe a neuro-symbolic approach is the only way to realize truthworthy reasoning, thus achieving true intelligence. It is probably the only hope to bridge the seemingly insurmountable gap between “correlation” and “causality”.
Here are some useful cases of the neural symbolic approach. And I think the role of a neural-symbolic engine will become much more important in the near future.
Synthesizing high-quality, verifiably correct reasoning steps on solving math problems. (Li et al., 2024).
Improving the autoformalization, a fundamental math capability of a neural model, through a hybrid neural-symbolic solution. (Li et al., 2024).
Proving Olympiad inequalities through neuro-symbolic formal reasoning. (Li et al., 2025)
@inproceedings{inequalityiclr25,title={Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning},author={Li, Zenan and Li, Zhaoyu and Tang, Wen and Zhang, Xian and Yao, Yuan and Si, Xujie and Yang, Fan and Yang, Kaiyu and Ma, Xiaoxing},year={2025},booktitle={International Conference on Learning Representations, {ICLR}},}
@inproceedings{NEURIPS2024_NSMR,title={Neuro-Symbolic Data Generation for Math Reasoning},author={Li, Zenan and Zhou, Zhi and Yao, Yuan and Zhang, Xian and Li, Yu-Feng and Cao, Chun and Yang, Fan and Ma, Xiaoxing},year={2024},booktitle={Advances in Neural Information Processing Systems, {NeurIPS}},}
@inproceedings{NEURIPS2024_AutoFormalization,title={Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency},author={Li, Zenan and Wu, Yifan and Li, Zhaoyu and Wei, Xinming and Zhang, Xian and Yang, Fan and Ma, Xiaoxing},year={2024},booktitle={Advances in Neural Information Processing Systems, {NeurIPS}},}