scalable LLM reasoning