数学推理语言模型

Mathstral-7B-v0.1 是由 Mistral AI 开发的一个 7B 参数的语言模型，专为数学推理和科学发现设计。该模型具有 32k 上下文窗口，擅长处理复杂的多步逻辑推理任务，如数学证明和科学计算。它在 MATH 和 MMLU 等基准测试中表现优异，显示出强大的数学和逻辑推理能力。模型基于 Mistral 7B 开发，使用 F32 张量类型，参数数量为 7.25B，支持通过 Hugging Face 下载和使用。