Retrieval-augmented reasoning with lean language models