Inference-time search