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.
๐งต
๋ ๋ณด๊ธฐ
