AI

一环AI

一环AI,擅长电商运营的人工智能创作平台,基于九年的电商服务经验,为电商应运而生的AI应用平台。

ChatInsight Ai

一款智能AI助手,以您自己的数据为基础进行训练,就像人类一样。将ChatInsight用作员工,为您的团队提供支持。

居然设计家

居然设计家是一款融合AI、3D、VR和大数据技术的家装设计平台,提供户型识别、智能设计、自由建模、全屋定制、海量模型资源及AI辅助设计等功能。用户可通过自然语言交互快速生成个性化设计方案,并支持多工具协同与实时渲染,适用于DIY、智能装修、导购、电商等多种场景,提升设计效率与用户体验。

AEE

AEE(Auto Excel Editor)是一款基于人工智能的在线Excel编辑工具,能够自动执行数据增删改查等逻辑操作,支持智能录入、公式插入、样式优化及模板生成等功能,显著提升工作效率,适合数据分析师、财务人员及市场研究人员等用户群体。

Kimina

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

VRAG

VRAG-RL是阿里巴巴通义大模型团队推出的视觉感知驱动的多模态RAG推理框架,旨在提升视觉语言模型在处理视觉丰富信息时的检索、推理和理解能力。通过定义视觉感知动作空间,实现从粗粒度到细粒度的信息获取,并结合强化学习和综合奖励机制优化模型性能。该框架支持多轮交互推理,具备良好的可扩展性,适用于智能文档问答、视觉信息检索、多模态内容生成等多种场景。

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台,提供个性化课程、智能辅导和多种学习模式,如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库,帮助学生掌握重点知识,提升学习效率。支持语音输入与全天候访问,适用于日常学习、考前复习及课堂教学辅助,助力学生高效学习与成绩提升。

TIGER

TIGER是由清华大学研发的轻量级语音分离模型,采用时频交叉建模策略与多尺度注意力机制,有效提升语音分离性能,同时显著降低计算和参数开销。模型通过频带切分优化资源利用,适应复杂声学环境,广泛应用于会议记录、视频剪辑、电影音频处理及智能语音助手等领域。

MetaLaw

MetaLaw是一款基于AI的法律类案检索工具,能够通过争议焦点快速定位相关案例,提供AI总结、法条引用等功能,同时支持个性化案例推荐、案例对比分析及思维导图辅助梳理。其核心功能包括精准类案检索、AI分析助理、一键直达类案、案例对比分析、AI总结与法条引用等,适用于诉讼准备、法律研究、合规审查、法律咨询及教育培训等多种场景。

Recraft V3

Recraft V3是一款基于AI的文本到图像生成模型,以其高质量的图像生成能力和先进的设计控制功能闻名。支持长文本输入、品牌风格定制以及多平台接入,适用于平面设计、品牌标识、内容创作、电子商务和游戏开发等多个领域,为用户提供了便捷高效的图像生成工具。