Human-in-the-loop and large language models in smart manufacturing: Current applications, challenges, and perspectives | Synapse