NuminaMath

ESMFold 是一款由 Meta AI 团队开发的高精度蛋白质结构预测工具，可以从单一蛋白质序列中进行端到端原子级别的结构预测，具有较高的准确性和更快的预测速度。

Surya OCR 是一款开源的通用 OCR 引擎，由 VikParuchuri 开发，支持超过 90 种语言。它提供高精度的文本识别、行级文本检测、布局分析、阅读顺序检测、表格识别和 LaTeX OCR 等功能，适用于处理各种文档格式，是进行文档数字化和信息提取的强大工具。

Phi模型是一系列高效的小语言模型，专为生成式AI应用设计，提供高性能、低延迟的解决方案，适用于多种应用场景。

由微软团队提出的 BioGPT（Generative Pre-trained Transformer for Biomedical Text Generation and Mining），是一种在大规模生物医学文献上预先训练的特定领域的生成 Transformer 语言模型，可用于生物医学文献文本生成和挖掘。

Marker 是一款由 VikParuchuri 开发的高精度 PDF 转换工具，可以将 PDF 文档快速转换为 Markdown、JSON 和 HTML 格式。它支持多种文档类型和语言，能够智能地处理复杂的文档结构，并提供 OCR、图像提取和 LLM 增强等功能，是进行文档转换和数字化的强大助手。

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