写点什么

极客说|Phi-4 模型的 4 位量化与 vLLM 高速推理

  • 2025-01-17
    北京
  • 本文字数:1819 字

    阅读完需:约 6 分钟

大小:931.23K时长:05:17
极客说|Phi-4 模型的 4 位量化与 vLLM 高速推理

Phi-4 的模型参数量是 14B,这使它在推理的时候比较耗费内存。因此如果我们想要在边缘端运行,需要对它进行量化。量化的手段很多,此前也介绍过,使用 Auto-Round GTPQ 格式的方法量化即可。


我们看一下量化到四位以后,推理时占用的显存以及效果。


针对量化版本,我写了一个 vLLM 推理的程序,推理速度很快,占用 11GB 显存,推理的结果也很准确。这样我们就可以在消费显卡上运行 Phi-4 了。


00:00 / 00:00
    1.0x
    • 3.0x
    • 2.5x
    • 2.0x
    • 1.5x
    • 1.25x
    • 1.0x
    • 0.75x
    • 0.5x
    网页全屏
    全屏
    00:00


    推理代码见 repo:

    https://github.com/xinyuwei-david/david-share.git 下的

    DeepLearning/Phi4


    接下来,我将介绍 Phi-4 整体的架构。


    近期,微软推出了最新的大型语言模型 Phi-4,它在保持相对较小参数规模的情况下,展示了令人瞩目的性能。Phi-4 通过创新的训练方法和高质量的数据,在多个自然语言处理任务中取得了优异的成绩。本文将详细介绍 Phi-4 的模型架构、训练策略、性能表现,以及如何在本地计算机上对其进行微调。


    Phi-4 简介


    Phi-4 是微软 Phi 系列模型的最新成员,参数量为 140 亿。这一规模在大型语言模型中属于中等,但 Phi-4 通过精心设计的训练流程和数据,展现出了与更大参数量模型相媲美的性能。



    模型架构与特点


    • 基于 Transformer 的架构


    Phi-4 采用了经典的 Transformer 解码器架构,共有 40 层网络结构。这种架构在自然语言处理任务中被证明是高效且有效的,能够捕捉文本序列中的长期依赖关系。


    • 上下文长度的扩展


    初始的 Phi-4 支持 4,096 个 Token 的上下文长度。在中期训练阶段,微软将上下文长度扩展到了 16,000 个 Token,使得模型能够处理更长的文本输入,适应更多样化的任务需求。


    • 分词器与词汇表


    Phi-4 使用了 OpenAI 的 tiktoken 分词器,词汇表大小为 100,352。这一选择兼顾了多语言支持和分词效果的优化。


    • 注意力机制与位置编码


    Phi-4 在模型中使用了全局注意力机制(Full Attention),对整个上下文序列进行自注意力计算。此外,模型采用了旋转位置编码(RoPE)并在中期训练中调整了基频,以适应更长的上下文长度。


    创新的训练策略


    • 合成数据的广泛应用


    与传统模型主要依赖互联网抓取的数据不同,Phi-4 大量使用了合成数据进行训练。微软通过多种技术生成了大约 4,000 亿个 Token 的高质量合成数据,包括:

    • 多代理提示:利用多个语言模型生成多样化的数据。

    • 自我修正流程:模型生成初始输出后,进行自我评估和修正。

    • 指令反转:从已有的输出生成对应的输入指令,增强模型的指令理解能力。


    合成数据具有结构化、渐进式的特点,能够引导模型逐步学习复杂的推理和问题解决能力。


    • 精选的有机数据


    除了合成数据,Phi-4 还从多种来源精心挑选了高质量的有机数据,如网页内容、书籍、代码库和问答集合。通过严格的过滤和去重,确保了数据的高质量和多样性。


    • 多阶段训练流程


    Phi-4 的训练分为多个阶段:

    • 预训练阶段:建立模型的基础语言理解能力,使用了约 10 万亿个 Token 的数据。

    • 中期训练阶段:扩展上下文长度至 16,000 个 Token,进一步提升模型的性能。

    • 后训练阶段(微调):通过监督微调(SFT)和直接偏好优化(DPO)等方法,优化模型的输出,使其更符合人类的偏好。


    先进的训练技术


    • 关键 Token 搜索(PTS)


    PTS 是一种创新的训练方法,通过识别对模型输出影响最大的关键 Token,针对性地优化模型在这些位置的预测。这种方法提高了训练效率,增强了模型在关键决策点上的表现。


    • 改进的直接偏好优化(DPO)


    在 DPO 过程中,Phi-4 结合了 PTS 方法,使用高质量的偏好数据优化模型的输出。通过评估模型在关键 Token 上的表现,进一步提升了优化效果。


    性能评估


    • 外部评测基准


    Phi-4 在多个公开的评测基准上表现出色:

    • MMLU:在多任务语言理解测试中取得了优异成绩。

    • GPQA:在研究生水平的 STEM 问答中表现突出。

    • MATH:在数学问题解决方面展现了强大的能力。

    • HumanEval:在代码生成和理解任务中超越了同等规模的模型。


    • 内部评测套件(PhiBench)


    微软开发了内部评测套件 PhiBench,涵盖了代码调试、代码补全、数学推理等任务,帮助团队深入了解模型的能力和不足,并有针对性地进行改进。


    模型的局限性


    尽管 Phi-4 性能强大,但仍存在一些局限性:

    • 指令遵循能力:在严格格式化输出方面表现不佳。

    • 冗长的回答:有时会对简单问题给出过于详细的答案。

    • 对话能力:优化于单轮查询,缺乏持续对话的能力。


    这些局限性主要源于模型的训练重点在于推理和问题解决,而非对话或指令遵循。


    更多精彩内容请点击下载

    《极客说|微软新模型:Phi-4 来了》

    《利用 AI 和 DevOps 重新定义开发人员体验》

    《SAP on Microsoft Cloud》

    《智能GitHub Copilot副驾驶®提示和技巧》

    2025-01-17 15:1211345

    评论

    发布
    暂无评论
    发现更多内容

    科大讯飞P20 Plus词典笔 怎么样

    妙龙

    科大讯飞 词典笔

    怎么把域名解析到IP地址?流程有哪些?一文讲清域名解析那些事

    国科云

    精选的掘金文章汇总[2024.11月-12月]

    安全乐谷

    GitHub 架构 算法 前端 后端

    ChatGPT在功能测试用例生成方面的优势

    不在线第一只蜗牛

    ChatGPT

    新金景集团:二十载专注做好女性私密

    新消费日报

    Java面试突击手册,一周刷完这300道面试题,你也可以当架构师!

    Summer

    Java 程序员 面试 架构师 大厂

    让我们一起来建设 Fluent Editor 开源富文本编辑器吧!

    OpenTiny社区

    富文本 OpenTiny 前端开源

    科大讯飞学习机和作业帮学习机哪个好

    妙龙

    科大讯飞 作业帮 学习机

    编写 Java 单元测试最佳实践

    腾讯云 AI 代码助手

    Mysql优化

    EquatorCoco

    MySQL

    DevOps研发效能建设的六大“雷区”:你中招了吗?

    嘉为蓝鲸

    DevOps 研发度量 效能度量 研发效能管理

    RWA代币:下一波财富增长的密码?

    TechubNews

    CCF-CV企业交流会—走进合合信息顺利举办,打造大模型时代的可信AI

    合合技术团队

    人工智能 信息安全 图像安全

    猿辅导和作业帮哪个更好

    妙龙

    作业帮 学习机 猿辅导

    AI Agent:未来高效螺丝钉,谁用得好,谁先赚到钱

    博文视点Broadview

    科大讯飞智能录音笔S8离线版 功能介绍

    妙龙

    科大讯飞 录音笔

    科大讯飞T30 Lite和T30 Pro 对比

    妙龙

    科大讯飞 学习机

    Java行情崩盘了?传智播客收入下滑严重,Java之父和金角大王的IT课程白菜价贱卖

    陆通

    面试必刷:阿里巴巴 内部 Java 高级架构师 1080 道面试题

    采菊东篱下

    Java 编程 计算机

    币安独霸,okx,bitget共享天下交易所新格局

    区块链项目一站式包装孵化

    想提高查询性能,用GaussDB(DWS) in表达式还是or表达式?

    华为云开发者联盟

    数据库 GaussDB 表达式 大数据‘’ #SQL

    阿里Spring Security OAuth2.0认证授权笔记震撼开源!原理+实战+源码三飞

    采菊东篱下

    编程 java面试

    阿里P9重磅分享内部绝密《百亿级并发系统设计》手册!

    程序员高级码农

    Java 程序员 高并发 架构设计 架构师

    2025上海国际机器人展(Tech G)

    AIOTE智博会

    消费电子展 消费电子展会 消费电子博览会 消费电子展览会

    AI与数据分析|使用机器学习,轻松解决复杂的情感分析问题

    Altair RapidMiner

    机器学习 AI 数据分析 情感分析 altair

    阿里大牛强力推荐:springboot实战派文档,从入门到实战,样样具备

    架构师之道

    Java 编程

    OpenAI从传统发布会改成12天直播:OpenAI Day1 带来了哪些惊喜?

    测试人

    作业帮X58和X28区别对比选哪个

    妙龙

    作业帮 学习机

    Java后端最全面试攻略,吃透25个技术栈,阿里十万字内部面试题总结全网开源

    架构师之道

    编程 java面试

    极客说|Phi-4 模型的 4 位量化与 vLLM 高速推理_微软_微软中国MSDN_InfoQ精选文章