Raaj Patkar (राज)

I am a Computer Science sophomore at KCCEMSR (University of Mumbai) with a strong focus on Machine Learning, NLP, and the underlying mathematics. I specialize in Large Language Models (LLMs) and AI Agents, leveraging frameworks like PyTorch, TensorFlow, and MLX to fine-tune pre-trained models and build custom language generation architectures.

Email: ce24.raaj.patkar@kccemsr.edu.in or raajpatkar@gmail.com

I am also learning lean as my proof assistant for my future mathematical research. I am interested in learning more about the intersection of machine learning and formal verification, and how these techniques can be used to improve the reliability and safety of AI systems.