学习

1. 首页
2. 学习

Happy Scribe

一个将音频转换为文字的自动化和人工转录字幕工具，以高准确度支持多种语言和格式。

Ai语音工具 2025年06月05日 13 点赞 0 评论 652 浏览

Skywork

Skywork-Reward 是昆仑万维推出的一系列高性能奖励模型，包括 Skywork-Reward-Gemma-2-27B 和 Skywork-Reward-Llama-3.1-8B，主要用于优化大语言模型的训练过程。这些模型通过提供奖励信号，帮助模型理解和生成符合人类偏好的内容。Skywork-Reward 在对话、安全性和推理任务中表现出色，并且在 RewardBench 评估基准上名列前

AI项目与工具 2025年06月12日 32 点赞 0 评论 651 浏览

KIMI浏览器助手

KIMI智能助手是一个多功能的浏览器扩展工具，它通过智能化的交互方式，为用户提供了一种新的信息获取和处理方式。

创作工具 1970年01月01日 0 点赞 0 评论 651 浏览

NMT

NMT是一种由UC Berkeley和阿里巴巴联合开发的多任务学习框架，通过将多任务优化问题转化为约束优化问题，实现高优先级任务性能的保障。它基于拉格朗日乘数法，结合梯度下降与上升算法，简化了超参数调整流程，提高了模型训练效率和稳定性。NMT适用于推荐系统、搜索引擎、自然语言处理和金融风控等多个领域，具有良好的兼容性和扩展性。

AI项目与工具 2025年06月12日 27 点赞 0 评论 650 浏览

陌言AI

陌言AI是一款免费的智能AI问答系统，可以快速、准确地解答您的问题，辅助您更高效的学习和工作，陌言Ai–让创作变得更加简单。

AI写作对话 2025年06月05日 39 点赞 0 评论 650 浏览

Llama Tutor

Llama Tutor 是一款基于 AI 的开源个性化学习平台，利用 Llama 3.1 和 Together AI 技术生成定制化学习计划，涵盖多学科领域，提供互动式学习体验和精准解答。支持个人学习、学术教育、职业发展和语言学习等应用场景，致力于打造高效、有趣的沉浸式学习环境。

AI项目与工具 2025年06月12日 77 点赞 0 评论 649 浏览

ChatTS

ChatTS-14B 是一款由字节跳动开发的大型语言模型，专为时间序列数据的理解与推理设计，具备 140 亿参数规模。通过合成数据对齐技术提升任务表现，支持自然语言交互，可应用于金融、气象、工业、医疗和运维等多个场景，提供数据分析、预测与诊断功能。模型已开源，便于开发者使用和扩展。

AI项目与工具 2025年06月11日 73 点赞 0 评论 649 浏览

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

AI项目与工具 2025年06月11日 33 点赞 0 评论 649 浏览

萝卜投研

一个智能股票投研平台，萝卜投研帮助用户高效地进行证券研究和价值投资分析。

财经投资 2025年06月05日 63 点赞 0 评论 648 浏览

EliGen

EliGen是由浙江大学与阿里巴巴集团联合开发的实体级可控图像生成框架，采用区域注意力机制实现对图像中实体的精确控制，支持多实体修复、风格化生成及交互式编辑。基于50万高质量注释样本训练，具备强大泛化能力，适用于虚拟场景、角色设计、数据合成及产品展示等场景。

AI项目与工具 2025年06月12日 97 点赞 0 评论 647 浏览