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