学习

FoloToy

一款AI陪伴对话玩具,我们采用了最新的人工智能技术和爱来制作。每个人都可以使用 FoloToy 亲手打造一个与众不同的玩具角色,给爱的人带来快乐。

Cursor AI

一个利用AI提升编程效率的代码生成工具,帮助开发者编写、编辑和理解代码。Cursor AI提供智能配对编程、上下文理解和强大的自动补全功能,极大地提高了编程效率。

TOP.AI

TOP.AI 是腾讯旗下AIGC学习、创作和分享平台。

Tough Tongue AI 2.0

Tough Tongue AI 2.0 是一款多模态对话训练工具,适用于面试、职场沟通、销售谈判等多种场景。用户可自定义AI角色与语气,通过视频和音频反馈练习非语言沟通技巧,并获得个性化反馈以提升表达能力。支持多语言使用,可无限重试,便于反复练习。具备嵌入功能,方便集成到其他平台。

Tolan

Tolan是一款AI驱动的陪伴应用,提供个性化对话、星球互动、照片反馈及语音交流等功能,帮助用户在日常生活中获得情感支持与互动体验。其应用场景涵盖社交娱乐、创意写作、语言学习等,适用于寻求情感陪伴或趣味互动的用户。支持多平台使用,提供灵活的订阅方案。

Lingolette

Lingolette是一款利用AI技术打造的语言学习平台,专注于通过实时对话和个性化学习路径提升用户的外语口语与书面表达能力。平台支持多种语言(如英语、法语、德语等),并结合沉浸式场景、逐步指导和每日更新的内容激发学习动力。此外,它适合个人、教育机构、职场人士及企业团队使用,满足多样化的学习需求。

Teacher2Task

Teacher2Task是一个由谷歌团队研发的多教师学习框架,其核心在于引入教师特定的输入标记并重新构建训练过程,以减少对人工聚合方法的依赖。通过将训练数据转化为多个子任务,该框架能够从不同教师的多样化预测中学习,提高模型的性能和鲁棒性,同时降低标签不准确性的风险。它适用于机器翻译、图像理解、自然语言处理等多个领域,显著提升了数据利用效率。

DreamClear

DreamClear是一款由中国科学院自动化研究所与字节跳动团队联合开发的高性能图像修复工具,利用深度学习技术将低质量图像恢复为高质量图像,同时注重隐私保护。其核心技术包括深度扩散先验、方差保持采样和自适应调制器混合模块,广泛应用于图像质量提升、细节恢复、隐私保护及商业项目开发等领域。

Saner.AI

Saner.AI是一款以人工智能驱动的知识管理工具,旨在提高个人和团队的工作效率。其主要功能包括即时笔记记录、智能信息导入、专注模式、多视角信息查找、PDF与笔记摘要生成,以及标签推荐和相似笔记连接等。通过这些功能,Saner.AI能够帮助用户高效整理信息、激发创意,并提升专注力。它适用于多种场景,包括个人知识管理、团队协作、学习辅助、项目管理和日常任务规划,同时注重数据安全与隐私保护。

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。