FlexTrain: A Dynamic Training Framework for Heterogeneous Devices Environments. - Mert Unsal; Ali Maatouk; Antonio De Domenico; Nicola Piovesan; Fadhel Ayed (CoRR, 2023)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. - Haiming Wang; Mert Unsal; Xiaohan Lin; Mantas Baksys; Junqi Liu; Marco Dos Santos; Flood Sung; Marina Vinyes; Zhenzhe Ying; Zekai Zhu; Jianqiao Lu; Hugues de Saxcé; et al. (CoRR, 2025)

Kimina Lean Server: Technical Report. - Marco Dos Santos; Haiming Wang; Hugues de Saxcé; Ran Wang; Mantas Baksys; Mert Unsal; Junqi Liu; Zhengying Liu; Jia Li (CoRR, 2025)

EasyARC: Evaluating Vision Language Models on True Visual Reasoning. - Mert Unsal; Aylin Akkus (CoRR, 2025)