AIMarkTechPostabout 2 hours ago
Mistral AI Releases Apache-2.0 Leanstral 1.5
6 min read
Mistral AI released the new code agent model named Leanstral 1.5 today for automated theorem proving and proof engineering tasks involving Lean 4. The release updates the earlier Leanstral-2603 model within the Mistral Small 4 family while providing weights under an Apache 2.0 license alongside a live free API endpoint called leanstral-1-5.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyMistral