X.-W. Yang, “Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models”, AAAI, vol. 40, no. 33, pp. 27657–27665, Mar. 2026.