Pocket Cube solver: DAVI heuristic in BWAS, with V* as ground truth.
Precomputed shortest path from any state to solved
Residual MLP that approximates V*
Batched weighted A*. f = λ·g + h
f = λ·g + h