Optimizing IT Operations: Semantic Ticket Categorization using Machine Learning & NLP