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
Leanstral ahead of GPT-6-Astra on ArxivLean 🚀
we used a heavily parallel multi-agent scaffold and it’s with a ton of more compute and I am pretty sure Astra would do better if you scale its compute as well. but we do what we can!
Show more
A lot of grinding from Leanstral 1.5 with a tiny bit of K3 orchestration get to beat GPT-6 Astra on ArXivLean.
I think #tokens# is counted erroneously here but yes a 6B model does yap. Great internship work by Matéo Pirio Rossignol mentored by @roman_soletskyi!
Show more
