Yang, X.-W.; Zhu, X.-Y.; Zhang, D.-C.; Wei, . W.-D.; Shao, J.-J.; Zhou, Z.; Guo, L.-Z.; Li, Y.-F. Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models. AAAI 2026, 40, 27657-27665.