Mert Unsal

Joined

May 2023

Names

Mert Unsal (Preferred)

Emails

****@gmail.com (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

MS student

ETHZ - ETH Zurich (ethz.ch)

2023 – 2025

Undergrad student

École Polytechnique (polytechnique.fr)

2020 – 2023

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
Marco Dos Santos, Hugues de Saxcé, Haiming Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia LI
- MATH-AI 2025 Poster
- Readers: Everyone
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Mert Unsal, Haiming Wang, Jia LI, Zhengying Liu, Mantas Baksys, Xiaohan Lin, Marco Dos Santos
- OpenReview Archive Direct Upload
- Readers: Everyone
AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
Mert Unsal, Timon Gehr, Martin Vechev
- Submitted to ICLR 2025
- Readers: Everyone
FlexTrain: A Dynamic Training Framework for Heterogeneous Devices Environments
Mert Unsal, Ali Maatouk, Antonio De Domenico, Nicola Piovesan, Fadhel Ayed
- WANT@NeurIPS 2023 Poster
- Readers: Everyone

Co-Authors