Zeynel Abidin Uluşan Successfully Defends Master’s Thesis

Our Master’s student Zeynel Abidin Uluşan successfully defended his Master’s thesis titled “Generative Reward Models for Formal Theorem Proving: Methods, Benchmarks, and Tree Search Integration.” Congratulations to Zeynel on this achievement.

Zeynel's MS Defense