Harith Laxman is a master's degree student in the Department of Computer Science. He is advised by Naren Ramakrishnan.

His primary research interests lie at the intersection of reasoning and interpretability of Large Language Models (LLMs). His current work explores interactive approaches to decision-making and recommendation systems and adapting formal methods for generating logically sound content.