Salih Can Erer

I am a senior undergraduate student at Boğaziçi University, double majoring in Computer Engineering and Mathematics. My research interests lie at the intersection of machine learning, formal logic, and networked systems. In 2025, I conducted research under the supervision of Zeynel Uluşan on neural formal theorem proving, where I developed symbolic representations and learning-based search techniques to enhance the mathematical reasoning capabilities of Large Language Models (LLMs). Additionally, as a researcher at NetLab, I apply deep learning architectures to complex networking challenges, focusing on wireless communication systems and protocol-level performance analysis.