Can Transformers Learn to Verify During Backtracking Search?

Yin Jun Phua, Tony Ribeiro, Tuan Nguyen +1

Backtracking search underlies classical constraint solvers, planners, and theorem provers. Recent transformer-based reasoning systems explore search trees over their own intermedia…