AI

天壤万卷

天壤万卷是一款基于AI的文档处理工具,支持多格式文档(含超大文件和扫描件)的处理。其核心功能包括混合检索、跨语言问答、精准定位和溯源答案,同时配备表格、图像、公式识别等实用工具及行业模板,适用于法律、学术、金融等多个领域。

WebDesignAgent

WebDesignAgent是一款基于AI技术的自动化网页设计工具,支持文本到网站、图像到网站等多种输入方式,可生成功能齐全、设计精美的网页。它支持多页面设计、用户自定义及迭代优化,适用于个人博客、企业官网、电商页面等多种场景。通过集成自然语言处理、计算机视觉以及大型语言模型,WebDesignAgent能够智能化地完成从内容理解到网页生成的全过程。

浙江大学人工智能学院

目前有人工智能技术应用、软件技术、计算机应用技术、电子信息工程技术、大数据技术等5个专业。人工智能专业群入选浙江省高职高水平专业群建设名单,专业群由人工智能技术应用、软...

Kimina

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

LearnCoach

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

Pollo AI

Pollo AI是一款由HIX.AI推出的AI视频创作平台,支持文本、图像及视频风格转换等多种功能,能将文字或图片快速生成高质量视频。平台具备角色一致性保障、多风格转换、高清输出等特性,适用于短视频制作、品牌推广、教学视频等领域,为用户提供高效的AI视频生成体验。

AI看线(AI

一个结合K线图,技术指标,财务数据,新闻数据的AI股票分析及预测框架,利用AI对股票市场进行深入分析。

IMI Prompt推荐

IMI Prompt生成器是一个AI艺术生成器,帮助用户创建独特的艺术作品。凭借其广泛的艺术风格,颜色和对象的选择,用户可以轻松地生成艺术作品,而不需要知道复杂的术语。该应用程序...

Video Enhance AI

Video Enhance AI是一款专门针对视频的增强工具,采用深度学习算法,支持用户轻松的将所有低分辨率视频转换成8K分辨率的高质量视频。

33字幕

33字幕是一款集语音识别与文本翻译于一体的AI字幕生成工具,支持多种语言的语音转文字及翻译,可实现实时字幕生成与同步翻译。用户可通过本地AI模型免费运行,显著降低使用成本。该工具具备边识别边生成字幕、台词搜索等功能,广泛应用于视频创作、教育培训、企业会议等领域。