Leanstral 1.512 days ago#Autoformalization#ProofEngineering#Lean4https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06Copy LinkLeanstral 1.5的发布公告，这是一个更新的Lean 4形式化证明工程模型专为自动定理证明和自动形式化优化拥有1190亿总参数，其中650亿为激活参数支持256k上下文长度定价为0美元包含速度、性能和模态的多项改进