Reasoning with LLMs