Unsal, Mert

1. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
   2025/04/15 by Wang, Haiming, Unsal, Mert, Lin, Xiaohan +37 · 66 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
2. Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
   2025/04/29 by Santos, Marco Dos, de Saxcé, Hugues, Wang, Haiming +6 · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. EasyARC: Evaluating Vision Language Models on True Visual Reasoning
   2025/06/13 by Unsal, Mert, Akkus, Aylin · 6 citations
   #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)