Goedel-Prover

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

Zerox OCR 指的是 getomni-ai 的 Zerox 自主代理框架中集成的光学字符识别能力。通过 OmniAI 平台的文档提取 API，Zerox 代理能够从各种文档和图像格式中提取文本，并支持结构化数据输出，从而实现自动化文档处理和信息提取等任务，是构建智能自动化工作流程的关键组成部分。

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

DocLayout-YOLO 是一个基于 YOLOv5 架构的开源文档布局分析工具包，由 OpenDataLab 开发。它旨在高效准确地检测文档图像中的各种元素，如文本、标题、表格和图像，为文档数字化、信息提取等下游任务提供支持。

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

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