NuminaMath 是一系列经过训练的语言模型,它们使用工具集成推理 (TIR) 来解决数学问题。
NuminaMath 是一系列经过训练的语言模型,它们使用工具集成推理 (TIR) 来解决数学问题。其中,NuminaMath 7B TIR 专为解决复杂的数学问题而设计,在多步解决方案方面表现出色,弥合了类人推理与计算精度之间的差距。
ChatLaw 是一款针对中文法律领域的大型语言模型,它通过定制化的设计和智能分析功能,为法律专业人士提供了一个强大的工具。
BloombergGPT 是一个专为金融行业设计的 500 亿参数大语言模型,经过大量金融数据训练,擅长金融 NLP 任务。模型在金融任务上的表现优越,计划集成到 Bloomberg 终端中,以提升客户服务。
MAmmoTH2 是一个开创性的大语言模型(LLM)项目,旨在通过创新的指令微调技术来提升模型的推理能力。MAmmoTH2 提供 7B、8B、8x7B 等模型版本。
Qwen2-Math 是由 阿里巴巴 通义千问团队基于 Qwen2 语言模型 构建的数学解题专用开源 AI 模型,现已迭代为 Qwen2.5-Math,包括基础模型 Qwen2.5-Math-1.5B/7B/72B,指令微调模型 Qwen2.5-Math-1.5B/7B/72B-Instruct 和数学奖励模型 Qwen2.5-Math-RM-72B。
Goedel-Prover(哥德尔证明器)是普林斯顿大学、清华大学、清华大学等机构推出一个专门设计用于自动化定理证明的大型语言模型。
FinGPT 是一个面向金融领域的开源大型语言模型,也是使用 AI4FinanceFoundation 开发的开源工具,它通过轻量级适应和 RLHF 技术使金融数据在大型语言模型中的应用变得更加民主和成本效益。
您的邮箱地址不会被公开。 必填项已用 * 标注
评论 *
显示名称 *
邮箱 *
网站
在此浏览器中保存我的显示名称、邮箱地址和网站地址,以便下次评论时使用。
Δ
ChatLaw 是一款针对中文法律领域的大型语言模型,它通过定制化的设计和智能分析功能,为法律专业人士提供了一个强大的工具。