标签：形式化证明

Leanstral 1.5 – Mistral AI推出的Lean 4形式化证明与程序验证模型

Leanstral 1.5是Mistral AI推出的形式化证明模型，支持Lean 4自动定理证明、数学推理、程序验证和代码生成。模型采用MoE架构，支持256K上下文长度，适用于数...

AI模型

19小时前

AI工具箱导航官网汇集了来自国内外的上千款AI工具。每日更新和添加最新的AI工具。此外还收录了常用的AI学习开发网站、框架和模型。帮助你轻松跟上人工智能的步伐，实现任务自动化，提升工作效率！ Ctrl + D 或 ⌘ + D 收藏本站到浏览器书签栏。