跳到正文

#开源生态

今日 0 条
9月29日周一
9月16日周二
9月15日周一
8月21日周四
8月14日周四
  1. Hugging Face Blog65

    Hugging Face 发布开源训练管道 Kimina-Prover-RL 用于形式化定理证明

    Hugging Face 发布了开源训练管道 Kimina-Prover-RL,用于 Lean 4 中的形式化定理证明,包括两个模型 AI-MO/Kimina-Prover-RL-1.7B 和 AI-MO/Kimina-Prover-RL-0.6B,均达到新的开源模型性能水平。

    推荐理由:Kimina-Prover-RL 是一个开源的训练管道,旨在训练大型语言模型解决 Lean 4 中的形式化证明目标,读者可以了解其结构和应用场景。

8月12日周二
8月7日周四
8月6日周三
8月5日周二
7月30日周三
7月29日周二
7月15日周二
  1. Mistral AI84

    Mistral AI 发布开源语音理解模型 Voxtral

    Mistral AI 发布 Voxtral 系列语音理解模型,包含适用于生产环境的 24B 版本和用于本地/边缘部署的 3B 版本,均采用 Apache 2.0 许可证开源并提供 API 接入。该模型支持 32k token 上下文窗口、多语言自动检测及直接从语音触发函数调用,在转录精度上超越 Whisper large-v3,且成本仅为同类专有 API 的一半以下。

    推荐理由:Mistral 开源 Voxtral 语音理解模型,提供 24B 和 3B 两种规格及 API 服务,以低于竞品一半的成本实现高精度转录与语义理解。

7月11日周五
7月8日周二
6月12日周四
  1. Hugging Face Blog45

    如何优化大型语言模型性能:处理长提示词的挑战

    TNG在24个H100 GPU集群上自托管多个大型语言模型,处理超过50个应用,每天消耗超过1亿个token并生成超过1000万个token。文章探讨了在处理长提示词时,如何优化LLM性能,包括长提示词阻塞队列的问题和并行预填充策略的改进。通过并行预填充不同请求,可以缩短请求的等待时间,但总完成时间仅略有改善。

6月3日周二
5月21日周三
  1. Mistral AI82

    Mistral AI 发布面向软件工程的智能体大模型 Devstral

    Mistral AI 联合 All Hands AI 推出专为软件工程任务设计的智能体大模型 Devstral,并在 SWE-Bench Verified 基准测试中取得 46.8% 的得分,超越此前开源最佳水平超过 6 个百分点。

    推荐理由:原文给出了 Devstral 在 SWE-Bench Verified 上的具体得分及与闭源模型的对比数据,读者可据此评估其在软件工程任务中的实际能力边界。

  2. Hugging Face Blog85

    Falcon-Arabic:阿拉伯语语言模型的突破

    Falcon-Arabic 是一个 70 亿参数的语言模型,支持阿拉伯语、英语和其他语言。它在阿拉伯语语法、数学推理、复杂问题解决和阿拉伯方言理解方面表现出色。Falcon-Arabic 在阿拉伯语自然语言处理领域取得了突破性进展,为阿拉伯语社区带来了先进的语言理解和生成能力。

    推荐理由:Falcon-Arabic 是首个针对阿拉伯语设计的语言模型,具有多语言能力,在阿拉伯语自然语言处理领域取得了突破性进展,对阿拉伯语社区具有重要意义。

  3. Hugging Face Blog45

    Hugging Face Diffusers 中的量化后端探索

    Hugging Face Diffusers 探索了多种量化后端,如 bitsandbytes、GGUF、torchao、Quanto 和 native FP8,以降低大型扩散模型的内存和计算资源需求,同时保持性能。通过实验,用户可以识别出不同量化版本的模型生成的图像,展示了量化技术在保持图像质量的同时显著降低内存消耗的优势。

5月8日周四
4月22日周二
4月13日周日
4月8日周二
4月7日周一
4月3日周四
3月21日周五
3月17日周一
2月11日周二
  1. Hugging Face Blog72

    OpenR1-Math-220k:大规模数学推理数据集发布

    Hugging Face 发布了 OpenR1-Math-220k,一个用于数学推理的大规模数据集,包含 220k 个问题及其推理过程,旨在为推理模型训练提供高质量数据。

    推荐理由:OpenR1-Math-220k 数据集的发布为数学推理研究提供了高质量的数据资源,读者可以了解其构建方法和在推理模型训练中的应用。

2月2日周日
  1. Hugging Face Blog70

    Open-R1项目更新:复现DeepSeek-R1的训练流程和合成数据

    Open-R1项目旨在复现DeepSeek-R1的训练流程和合成数据,项目进展顺利,已成功复现Deepseek的MATH-500基准测试结果,并探讨了生成长响应的挑战和解决方案。

    推荐理由:Open-R1项目旨在复现DeepSeek-R1的训练流程和合成数据,该项目进展值得关注,特别是其在推理和训练方面的成果。

1月24日周五
  1. Hugging Face Blog42

    smolagents 支持视觉语言模型,解锁视觉语言模型在智能体管道中的原生使用

    smolagents 添加了视觉支持,使视觉语言模型在智能体管道中能够原生使用,解锁了在智能体中实现自主网页浏览等功能;通过两种方式传递图像给智能体,包括在启动时一次性传递图像列表以及在每个步骤中动态添加图像;使用 helium 和 selenium 等工具构建网页浏览智能体。

12月16日周一
12月9日周一
12月3日周二
  1. Hugging Face Blog67

    Hugging Face 案例研究:利用 LLM 优化金融数据命名实体识别

    Hugging Face 案例研究:Hugging Face 与 Capital Fund Management 合作,利用大型语言模型和 Hugging Face 生态系统优化金融数据中的命名实体识别,通过 LLM 辅助标注和微调小型模型,提高了准确率并降低了运营成本。

    推荐理由:该案例展示了如何利用大型语言模型优化金融数据中的命名实体识别,为读者提供了实际应用中的性能和成本效益分析。

11月4日周一
10月23日周三
  1. Hugging Face Blog47

    CinePile 2.0:利用对抗性精炼提升数据集质量

    Hugging Face 发布了 CinePile 2.0,这是一个经过显著改进的长视频问答数据集。新数据集的改进依赖于一种新的对抗性数据集精炼方法,该方法可增强现有数据集并直接应用于未来数据集创建流程。CinePile 2.0 包含约 300,000 个训练样本和 5,000 个测试样本,其问题多样性和难度均优于现有数据集。

10月21日周一
  1. Hugging Face Blog37

    Llama 3.2 在 Keras 中的使用

    Llama 3.2 已于两周前在 Hugging Face / Transformers 上线,可直接在 Keras 中使用,支持多种后端,包括 JAX、PyTorch 和 TensorFlow。Keras 提供了丰富的预训练模型,包括 Llama3、Gemma、StableDiffusion 等,并内置了 tokenizer,方便用户进行模型训练和推理。

10月1日周二