MU
Mert Unsal
cs.AIcs.CVcs.LGcs.CLcs.LOcs.ROcs.SC
On Valency
published · living versionsW_5txyfx4z·v1 · currentpublished
Preprints & journals
8 papers in the corpus · 2024–2026Shieldstral2607.25857v2 · Antonia Calvi, Avinash Sooriyarachchi, Giada Pistilli et al.2026 · 0 citationsarXiv
Robostral Navigate2607.20785v3 · Abdelaziz Bounhar, Abhijeet Somani, Aditi Kabra et al.2026 · 0 citationsarXiv
Voxtral TTS2603.25551v2 · Mistral-AI: Alexander H. Liu, Alexis Tacnet, Andy Ehrenberg et al.2026 · 0 citationsarXiv
Voxtral Realtime2602.11298v3 · Mistral-AI: Alexander H. Liu, Andy Ehrenberg, Andy Lo et al.2026 · 0 citationsarXiv
EasyARC: Evaluating Vision Language Models on True Visual Reasoning2506.11595v1 · Mert Unsal, Aylin Akkus2025 · 0 citationsarXiv
Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification2504.21230v3 · Marco Dos Santos, Hugues de Saxc'e, Haiming Wang et al.2025 · 0 citationsarXiv
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning2504.11354v1 · Haiming Wang, Mert Unsal, Xiaohan Lin et al.2025 · 2 citationsarXiv
AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs2410.02666v1 · Mert Unsal, Timon Gehr, Martin Vechev2024 · 0 citationsarXiv
Career total: 9 works. 8 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.