Phi 4 mini reasoning by Microsoft — ThinkLLM