Mert Unsal
YOU?
Author Swipe
View article: EasyARC: Evaluating Vision Language Models on True Visual Reasoning
EasyARC: Evaluating Vision Language Models on True Visual Reasoning Open
Building on recent advances in language-based reasoning models, we explore multimodal reasoning that integrates vision and text. Existing multimodal benchmarks primarily test visual extraction combined with text-based reasoning, lacking tr…
View article: Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification Open
We introduce the Kimina Lean Server, an open-source project designed as a high-performance verifier for reinforcement learning pipelines. Built on top of the Lean REPL (Read-Eval-Print Loop) maintained by the Lean FRO, our server combines …
View article: Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Open
We introduce Kimina-Prover Preview, a large language model that pioneers a novel reasoning-driven exploration paradigm for formal theorem proving, as showcased in this preview release. Trained with a large-scale reinforcement learning pipe…