OpenAIo4mini–OpenAI推出的小型推理模型
AI工具百科：
OpenAI o4mini是什么
OpenAI o4mini 是OpenAI推出的小型推理模...
OlympicArena–上海交大联合AILab等推出的多学科认知推理基准测试框架
AI工具百科：
OlympicArena是什么
OlympicArena是上海交通大学、上海AI Lab...
APB–清华联合腾讯等机构推出的分布式长上下文推理框架
AI工具百科：
APB是什么
APB（Accelerating Distributed LongContext Infere...
DeepSeekProverV2–DeepSeek推出的开源数学推理大模型
AI工具百科：
DeepSeekProverV2是什么
DeepSeekProverV2是深度求索团队 Deep...
ReasonGraph–开源可视化与分析LLMs推理过程的AI工具
AI工具百科：
ReasonGraph是什么
ReasonGraph 是用在可视化和分析大语言模型...
ChatDLM–QafindLabs推出的全球最快扩散语言模型
AI工具百科：
ChatDLM是什么
ChatDLM是 Qafind Labs推出的全球最快扩散语言...
FoxBrain–鸿海研究院推出的推理大语言模型
AI工具百科：
FoxBrain是什么
FoxBrain 是鸿海研究院推出的繁体中文大型语言...
MetaStoneL17B–元石智算推出的轻量级推理模型
AI工具百科：
MetaStoneL17B是什么
MetaStoneL17B 是 MetaStone 系列中的轻...
SkyworkR1V2.0–昆仑万维开源的新版多模态推理模型
AI工具百科：
SkyworkR1V 2.0是什么
SkyworkR1V 2.0 是昆仑万维最新开源的多...
StepR1VMini–阶跃星辰最新推出的多模态推理模型
AI工具百科：
StepR1VMini是什么
StepR1VMini 是阶跃星辰最新推出的多模态推...
KiminaProver–月之暗面联合Numina推出的数学定理证明模型
AI工具百科：
KiminaProver是什么
KiminaProver是月之暗面与Numina团队合作...
AReaLboba–蚂蚁联合清华开源的强化学习训练框架
AI工具百科：
AReaLboba是什么
AReaLboba 是蚂蚁技术研究院和清华大学联合推...
