AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI. - Liang, Baoyu; Wang, Yuchen; Tong, Chao (Mathematics (2227-7390), 2025)