@misc{indiciaefc5083fa7f25, title = {Can Transformers Learn to Verify During Backtracking Search?}, author = {Yin Jun Phua and Tony Ribeiro and Tuan Nguyen and Katsumi Inoue}, year = {2026}, url = {https://arxiv.org/abs/2605.22221}, note = {Source identifier: 2605.22221} }