Use decomposition, verification, search, sampling, and inference-time computation for difficult tasks. Compare reasoning-oriented models and evaluate reasoning without treating fluent explanations as proof of correctness.