Leanstral 1.5: Proof Abundance for All
Mistral released Leanstral 1.5, a model aimed at formal proof generation and theorem-proving workflows.
Read at source: https://mistral.ai/news/leanstral-1-5/
Discussions
- hn · 252 points · 75 comments
- hn · 260 points · 76 comments
- hn · 269 points · 79 comments
- hn · 277 points · 82 comments
- hn · 286 points · 83 comments
- hn · 292 points · 83 comments
- hn · 300 points · 86 comments
- hn · 304 points · 86 comments
- hn · 310 points · 87 comments
- hn · 313 points · 89 comments
- hn · 318 points · 89 comments
- hn · 324 points · 91 comments
- hn · 327 points · 92 comments
- hn · 331 points · 93 comments
- hn · 334 points · 93 comments
- hn · 341 points · 93 comments
- hn · 349 points · 94 comments
- hn · 353 points · 94 comments