Leanstral 1.5
Leanstral 1.5 updates a Lean-focused model for formal theorem proving and AI-assisted mathematics workflows.
Excerpt
HN · 258 points · 104 comments
Read at source: https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06
Leanstral 1.5 updates a Lean-focused model for formal theorem proving and AI-assisted mathematics workflows.
Read at source: https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06