Burak Sina Akbudak

I am a first-year Computer Science student at Boğaziçi University with a background in neuro-symbolic AI and music informatics. My research focus lies in enhancing the reasoning and generative capabilities of Large Language Models (LLMs) through structured representations.

In 2025, I interned under Zeynel Uluşan, focusing on neural formal theorem proving. During this project, I leveraged symbolic languages and novel tree search techniques to improve the mathematical reasoning and verification capabilities of LLMs.

Prior to my undergraduate studies, I conducted research under the guidance of Asst. Prof. Gözde Gül Şahin, representing Türkiye at EUCYS and ISEF. This work involved proposing a 2D tokenization technique for symbolic music, developing a custom Transformer architecture, and designing an evaluation metric to assess the structural playability of AI-generated music.