PulseAugur
中
实时 00:50:23
English(EN) 🔥 Introducing Leanstral 1.5 Leanstral 1.5 is a new model that promises improved performance and efficiency, with potential applications in various industries. T

Mistral AI 发布 Leanstral 1.5 用于形式化验证任务 · 跟踪 5 个来源

作者 PulseAugur 编辑部 · [5 个来源] ·

Mistral AI 发布了 Leanstral 1.5，这是一个为 Lean 4 编程语言和形式化验证任务设计的开源代码代理模型。该更新模型拥有 1190 亿总参数，每个 token 有 65 亿活跃参数，并支持 256k token 上下文长度，可处理文本和图像输入。Leanstral 1.5 在 miniF2F 和 PutnamBench 等基准测试中表现出最先进的性能，并已被用于识别软件存储库中先前未知的错误。 AI

影响 增强了形式化验证能力和专业编程语言的代码生成能力。

排序理由 前沿实验室模型发布，附带系统卡

在 Mastodon — mastodon.social 阅读 →

AI 生成摘要 · Google Gemini · 来自 5 个来源。 我们如何撰写摘要 →

Mistral AI 发布 Leanstral 1.5 用于形式化验证任务 · 跟踪 5 个来源

本文如何被排名

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Frontier Release
前沿实验室模型发布，附带系统卡
Source corroboration
5 independent sources
Strong cross-source corroboration — multiple independent publishers covered this within the clustering window.
Topics
model release, product
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
98 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [5]

  1. Hugging Face Trending Models TIER_1 Română(RO) · mistralai ·

    mistralai/Leanstral-1.5-119B-A6B

    4 downloads · 48 likes

  2. Hacker News — AI stories ≥50 points TIER_1 Français(FR) · vetronauta ·

    Leanstral 1.5

  3. r/LocalLLaMA TIER_1 English(EN) · /u/Tall-Ad-7742 ·

    Mistral 发布 Leanstral-1.5-119B-A6B

    <table> <tr><td> <a href="https://www.reddit.com/r/LocalLLaMA/comments/1umgdhx/mistral_released_leanstral15119ba6b/"> <img alt="Mistral released Leanstral-1.5-119B-A6B" src="https://external-preview.redd.it/ODJmTYJPSSbtKSPmO8gS3EmI__gMc5r8LJxlf8jL8KI.png?width=640&amp;crop=smart&…

  4. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] ·

    RT @MiaAI_lab: Leanstral-1.5-119B-A6B FP8 在 2× @NVIDIAAI DGX Sparks 上运行，256k 上下文，7 个并行会话。1 个并行 → 21 tok/s，2 个并行 → 26 tok/s，4 个并行

    RT @MiaAI_lab: Leanstral-1.5-119B-A6B FP8 auf 2× @NVIDIAAI DGX Sparks, 256k Kontext, 7 parallele Sitzungen. 1 parallel → 21 tok/s, 2 parallel → 26 tok/s, 4 parallel → 73 tok/s, 7 parallel → 108 tok/s ✨Das Modell denkt zu viel, nutze 'thinking off'. ✨EAGLE spekulatives Decodieren …

  5. Mastodon — mastodon.social TIER_1 English(EN) · AI_Tech_News_UK ·

    🔥 推出 Leanstral 1.5 Leanstral 1.5 是一个新模型，有望提高性能和效率，并可能应用于各个行业。T

    🔥 Introducing Leanstral 1.5 Leanstral 1.5 is a new model that promises improved performance and efficiency, with potential applications in various industries. The model's capabilities and limitations are outlined in its model card, providing valuable insights for developers and r…

    链接 aitechcodex.uk/…/2802 aitechcodex.uk/…/2802

相关实体

相关话题