Yunus Zeytuncu

My research spans mathematical analysis, complex geometry, spectral geometry, and differential equations, with a growing focus on the intersection of mathematics, data science, and artificial intelligence. I am particularly interested in the formalization of mathematics and the use of machine learning—especially large language models and reinforcement learning—to support automated theorem proving and mathematical discovery. My work engages with tools such as Lean, Mathlib, and LeanDojo, and explores how AI systems can enhance formal reasoning and mathematical education. I also analyze data from formal proof assistants to better understand how students learn logic and proof writing, with the broader aim of developing intelligent systems that complement and extend human mathematical thinking.