实体 VS Code Plugin

VS Code Plugin

PulseAugur coverage of VS Code Plugin — every cluster mentioning VS Code Plugin across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

0

90 天内 0

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

SIGNIFICANT · CL_242241 · Sep 8 · 17:13

Mistral AI 发布免费 Leanstral-1.5 模型用于形式化证明工程

Mistral AI 发布了 Leanstral-1.5，一个拥有 1190 亿参数、针对自动定理证明和 Lean 4 编程语言进行优化的模型。该模型可免费获取，旨在帮助用户形式化证明关键系统代码中不存在 bug。作者尝试将 Leanstral-1.5 与 Fable 5.1 和 GPT 6 等其他模型结合使用，以生成形式化证明和调试用 Lean 4 编写的代码，并提到了其与 VS Code 插件的集成。