面向数学证明的语义搜索嵌入模型，用于查找 mathlib 定理
适合查找 mathlib 定理 / 机器辅助证明检索
短板通用文本嵌入任务
Q4 ~5.4GB / FP16 ~20GB · Apache-2.0 · 未知 · transformers可商用
证据213 下载 / 2 赞 / 3 个社区来源
本期 (4)
直接回答的指令模型，用于交互聊天、代码和工具调用
适合交互式聊天与代码辅助 / 工具调用与指令跟随
短板需显式推理的多步代理流
Q4 ~8GB / FP16 ~29GB · apache-2.0 · 131k · vllm可商用
证据1418 下载 / 48 赞 / 5 个社区来源
基于 Sesame CSM 的对话 TTS 模型,支持语音上下文延续
适合高质量对话语音合成 / 从短音频提示生成语音延续
短板长篇有声书朗读
Q4 ~5.4GB / FP16 ~20GB · other · 2048 · pytorch需自查
证据76 赞 / 4 个社区来源
覆盖40种语言的流式ASR，600M，可调延迟，面向实时语音代理
适合低延迟多语种语音转写 / 实时多语言语音代理
短板未微调的适配语种直接使用
600M · NVIDIA Open Model License · 未知 · nemo需自查
证据225 下载 / 102 赞 / 3 个社区来源