Mert Ünsal
@mertunsal2020
Training models and building infra @MistralAI, prev. founding engineer @browser_use (YC W25), Kimina Prover @ProjectNumina @ETH_en
Joined January 2018
1.1K Following 3.4K Followers
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.
🧵
Show more
