MetaMath
专用模型

MetaMath

MetaMath 是一个用于生成数学问题的大型语言模型（LLM）项目。 该项目旨在通过自举方式生成数学问题，以提升模型的数学推理能力。

链接直达 手机查看
快点收藏起来

MetaMath 是一个用于生成数学问题的大型语言模型（LLM）项目。 该项目旨在通过自举方式生成数学问题，以提升模型的数学推理能力。

本文采用 CC BY-NC 4.0 许可协议。商业转载、引用请联系本站获得授权，非商业转载、引用须注明出处。

链接：https://appmark.cn/sites/meta-ai-metamath.html -APPMARK

相关导航

FinGPT

FinGPT 是一个面向金融领域的开源大型语言模型，也是使用 AI4FinanceFoundation 开发的开源工具，它通过轻量级适应和 RLHF 技术使金融数据在大型语言模型中的应用变得更加民主和成本效益。
AlphaFold

AlphaFold 是一个人工智能系统，旨在解决蛋白质结构预测这一长期困扰科学界的难题。 最新一代生物分子结构预测模型 AlphaFold 3（AF3）核心在于通过深度学习技术实现高精度的生物分子结构预测。
TexTeller

TexTeller 是一个基于 Vision Transformer 的先进模型，用于将图像中的数学公式高精度地转换为 LaTeX 代码。它经过大规模数据集的训练，支持印刷体、扫描、手写以及混合语言的公式识别，并提供命令行和 API 接口，方便用户和开发者使用。
Goedel-Prover

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

Tesseract OCR 是一款由 Google 开源的强大 OCR 引擎，支持超过 100 种语言。它提供了灵活的命令行界面和 API，可以用于将图像中的文本转换为可编辑的文本。虽然用户提供的链接指向 OCRmyPDF，但 Tesseract 是其核心 OCR 引擎，广泛应用于文档数字化、数据提取等领域。
MAmmoTH2

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