Mistral 的 Leanstral 1.5 强化形式数学与找 Bug 能力

Mistral 的开源 Leanstral 1.5 在形式化数学基准测试中表现出色，并能在代码中发现真实漏洞

分享文章

wechatQQXweiboRedditbilibiliInstagram复制链接

wechatQQXweiboRedditbilibiliInstagram链接

分类技术

标签

#ai-models#formal-verification#lean-4#mathematical-reasoning#software-correctness

作者

杖雍皓