ChatLaw 是一款针对中文法律领域的大型语言模型，它通过定制化的设计和智能分析功能，为法律专业人士提供了一个强大的工具。

NuminaMath 是一系列经过训练的语言模型，它们使用工具集成推理 (TIR) 来解决数学问题。

Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学等机构推出一个专门设计用于自动化定理证明的大型语言模型。

BloombergGPT 是一个专为金融行业设计的 500 亿参数大语言模型，经过大量金融数据训练，擅长金融 NLP 任务。模型在金融任务上的表现优越，计划集成到 Bloomberg 终端中，以提升客户服务。

DeepSeekMath是由 DeepSeek 团队推出的一款专注于数学问题解决的人工智能模型，它在数学领域的表现令人瞩目，仅有 7B 参数的规格，却能为解决复杂的数学问题提供一种全新的高效途径。

MAmmoTH2 是一个开创性的大语言模型(LLM)项目，旨在通过创新的指令微调技术来提升模型的推理能力。MAmmoTH2 提供 7B、8B、8x7B 等模型版本。