Using mathematical or geometric constraints to shape how a model explores a reasoning space, steering it toward better solution paths.