ChatLaw

MathΣtral 是 Mistral 基于 Mistral 7B 开发并推出的专注于数学推理的模型，拥有 32k 的上下文窗口，发布于 Apache 2.0 许可下。

Google Research & DeepMind 推出的 Google Med-PaLM 2 基于PaLM大模型，是专为医疗问答优化的AI模型。在医学考试问题（如USMLE）中达到专家级准确率，支持多语言医疗信息检索与分析。

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

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

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

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