Concept Induction using LLMs: a user experiment for assessment