X · @teortaxesTex
· X / Twitter
I'd say ≈5 months behind Seed but this is good
I'd say ≈5 months behind Seed but this is goodAlbert Jiang: https://mistral.ai/news/leanstral-1-5/Leanstral 1.5 is here. SoTA on FATE-H/X, 587 on PutnamBench, saturating miniF2F, all with an Apache-2 6B active params model. We are having fun verifying code properties and catching bugs in Rust repos!Tech report covering