Hi, I'm Dogukan.

RE/RS, Multi-step Reasoning and Post-Training Optimization

I am extremely excited about the new capabilities of reasoning and its applications to scale science. I like to work on AI for mathematics, currently building Arfmax, an AI mathematician. My research focus is on AI that exhibits multi-step reasoning with autoformalization, formal-math-synthesis, Alpha-zero / AlphaGeometry like inference-time search techniques, generalizable verifier reward models and post-training optimization. Grinding JAX/XLA forward and backward kernels with pybind11 C++ backend and integrating custom-written kernels into frameworks.