Zeynel Uluşan

I hold a bachelor’s degree in Mathematics from Boğaziçi University and received my master’s degree in Computer Science and Engineering at Koç University. At GGLab, my research focused on Neuro-symbolic Artificial Intelligence and Neural Formal Theorem Proving, with the goal of assessing and augmenting the reasoning capabilities of large language models.