Mert Ünsal

I am an ESOP scholar in Data Science program at ETH Zurich. I work as a research assistant at SRI Lab and I lead formalization and automated theorem proving team in Project Numina.

I am interested in conducting research in AI4Math. I like program search and autoformalization using transformers and LLMs by leveraging synthetic data.

Previously, I did my Bachelor of Science with a double major in Mathematics and Economics at Ecole Polytechnique in Paris. My previous experiences include:

• Research Internship at Huawei Technologies Paris Research Center where I worked on flexible neural network training algorithms and presented the work in NeurIPS 2023.
• Quantitative Trading Intern at SIG where I worked on option pricing with stochastic volatility models.
• Member of the National Physics Olympiads team of Turkey in 2019, 2020, and 2021 where I travelled to Vietnam, Australia, Israel, Russia and won a few medals.

In my free time I play chess and do any type of sports. I like non-trivial conversations.

Email  /  Github

Template from this website.