Mert Ünsal
@mertunsal2020
Training models and building infra @MistralAI, prev. founding engineer @browser_use (YC W25), Kimina Prover @ProjectNumina @ETH_en
参加 January 2018
1.1K フォロー中 3.4K ファン
Today, we are releasing Le Chaton L∃∀N, aka Leanstral 1.5.
It achieves SOTA performance on graduate algebra benchmarks FATE-H and FATE-X and improves Pareto Frontier on PutnamBench, solving 587/672 problems with a x10 cheaper budget.
🧵
もっと見る
