收集全球10,000⁺个好用的AI软件
-
MathΣtralMathΣtral是一款为数学推理和科学发现而设计的7B规模的AI模型,拥有32k的上下文窗口,发布于Apache 2.0许可下。它在多步复杂逻辑推理...
-
rStar-MathrStar-Math是一项研究,旨在证明小型语言模型(SLMs)能够在不依赖于更高级模型的情况下,与OpenAI的o1模型相媲美甚至超越其数学推理能力...
-
混元T1混元T1 是腾讯推出的超大规模推理模型,基于强化学习技术,通过大量后训练显著提升推理能力。它在长文处理和上下文捕捉上表现突出,同时优化了计算资源的消耗...
-
Eurus-2-7B-SFTEurus-2-7B-SFT是基于Qwen2.5-Math-7B模型进行微调的大型语言模型,专注于数学推理和问题解决能力的提升。该模型通过模仿学习(监...
-
DeepSeek-R1-Distill-Qwen-7BDeepSeek-R1-Distill-Qwen-7B 是一个经过强化学习优化的推理模型,基于 Qwen-7B 进行了蒸馏优化。它在数学、代码和推理任...
-
DeepSeek-Coder-V2-Lite-InstructDeepSeek-Coder-V2是一个开源的Mixture-of-Experts代码语言模型,性能可与GPT4-Turbo相媲美,在代码特定任务上表...