NuminaMath

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

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

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

PaddleOCR 是由百度飞桨开发的开源 OCR 系统，提供了一整套用于文本检测、文本识别、文档分析和关键信息提取的工具和模型，支持多语言，并具有易用、高效、可部署等特点，旨在帮助用户更好地进行光学字符识别任务。

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

EasyOCR 是一个基于 Python 的即用型 OCR 库，支持超过 80 种语言和多种书写脚本。它基于 PyTorch 框架，提供了简单易用的 API，能够高效准确地从图像中提取文本，适用于各种 OCR 任务。