Mert Ünsal

I am an AI Scientist at Mistral in the Palo Alto office.

Previously:

• Trained browser agents and built agentic scaffold at Browser Use (YC W25). Open-sourced BU-30B-A3B-Preview. Our library reached 75k+ stars.
• Released Kimina-Prover at Project Numina, applying long CoT RL to formal theorem proving for the first time to achieve SOTA on miniF2F.
• Built AlphaIntegrator at SRI Lab, a neurosymbolic approach for solving integrals step by step.
• Interned at SIG as a Quantitative Trader with project on option pricing using stochastic volatility models.
• Trained flexible neural networks at Huawei Paris, presented the work at NeurIPS 2023.
• Completed Data Science Master's at ETH Zurich and BSc in Mathematics and Economics at Ecole Polytechnique.
• Won medals at International Physics Olympiads in Vietnam, Australia, Israel, Russia.

I like to play chess and tennis. I spend quite some time with my AI researcher girlfriend Aylin trying to deeply understand various industries ranging from energy, finance, geopolitics, history and future of AI.

I believe meeting people who are deep into their fields is one of the most enjoyable things in life - those who touch reality at the frontier help you build an incrementally more accurate and deeper model of the world.

Feel free to reach out if you want to discuss the world over some good food.

Email  /  Github  /  LinkedIn

Template from this website.