#Mixture-of-experts

Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems

Learn about Leanstral 1.5, an open-source AI model that solves complex coding problems by using a smart team of experts. Understand how it works and why it's important for developers and researchers.