推理时扩展 (Inference-time scaling)、自洽性 (self-consistency)、验证器 (verifier) 和推理预算 (reasoning budget) 如何提高 LLM 质量,以及何时因成本过高而不应使用它们。