Leanstral：Mistral AI开源的Lean 4代码智能体，高效实现形式化证明与代码验证
Leanstral是Mistral AI推出的首款专为Lean 4打造的开源代码智能体，以6B激活参数的高度稀疏架构实现高效的形式化证明与代码验证能力。该智能体可在真实的形式化代码仓库中运...
Leanstral是Mistral AI推出的首款专为Lean 4打造的开源代码智能体，以6B激活参数的高度稀疏架构实现高效的形式化证明与代码验证能力。该智能体可在真实的形式化代码仓库中运...
LocoOperator-4B是LocoreMind团队开源的一款专用代码探索子代理模型，属于轻量级代码智能体（Code Agent），它以Qwen3-4B-Instruct-2507为基座，通过知识蒸馏方式学习Qwen3...