学术研究

k0

k0-math是一款基于强化学习和思维链推理技术的新一代数学推理模型,由月之暗面推出。它在多个数学基准测试中表现出色,特别是在中考、高考、考研及竞赛级数学题库中的成绩超越了OpenAI的o1-mini和o1-preview模型。k0-math具备深入思考、规划解题思路以及自我反思优化的能力,适用于教育辅导、在线教育平台、竞赛培训、学术研究及自动化测试与评分等多个场景。

Ai2 PaperFinder

Ai2 PaperFinder 是由艾伦人工智能研究所开发的基于大型语言模型的学术文献检索工具,支持多领域精准搜索,具备语义驱动、多Agent协同、引用网络分析等功能,能自动规划关键词、挖掘小众文献,助力研究人员快速获取高质量学术成果。

Recall

Recall是一款AI知识管理工具,支持将分散的内容转化为自我组织的知识库,具备即时总结、聊天互动功能,可处理YouTube视频、PDF、文章等多种格式内容。它提供增强浏览体验,自动链接相关内容到知识图谱中,帮助用户发现关联信息。Recall支持离线使用,跨平台访问,并注重数据安全与隐私保护,用户可随时导出数据,确保数据所有权。

Delta

Delta-CoMe是一种由清华大学NLP实验室牵头研发的增量压缩算法,它通过低秩分解与混合精度量化技术,显著减少了大型语言模型的存储和内存需求,同时保持了模型性能几乎无损。该工具支持多任务处理、推理加速,并广泛适用于云计算、边缘计算及学术研究等领域,特别擅长应对数学、代码和多模态任务。

文房思宝

文房思宝是一款基于AI技术的学术科研助手,主要服务于学术论文撰写、课题申报及文献管理等领域。其核心功能包括文献阅读与翻译、在线写作支持、范文生成、文献综述自动生成、课题申报书模板生成以及数据分析工具应用。通过这些功能,文房思宝帮助用户提高工作效率,降低研究门槛,同时确保信息的真实性和权威性。

Micro LLAMA

Micro LLAMA 是一款基于简化版 Llama 3 模型的教学工具,通过约 180 行代码实现 8B 参数的最小化模型,支持自注意力机制和前馈神经网络。它提供 Jupyter 笔记本和 Conda 环境配置指南,帮助用户轻松学习和实验,特别适用于学术教学、研究开发和个人学习。

PixelHacker

PixelHacker是一款由华中科技大学与VIVO AI Lab联合开发的图像修复模型,采用潜在类别引导机制,通过线性注意力实现结构与语义一致性的高质量修复。基于大规模数据集训练并经过多基准微调,支持多种图像类型与分辨率。适用于照片修复、对象移除、艺术创作、医学影像及文化保护等领域。

olly.bot

Olly.bot 是一款基于 OpenAI 技术的多合一 AI 助手,集成于 iMessage 和 SMS 平台,支持网络搜索、文档分析、图片生成等功能。它无需注册或下载,保护用户隐私,适用于多个操作系统。其核心功能包括任务管理、信息查询、文档分析及创意辅助,广泛应用于日常信息查询、学术研究、工作效率提升及创意工作等领域。

Kimi论文写作助手

Kimi论文写作助手是一款基于人工智能的学术写作辅助工具,支持从选题到终稿的全流程写作需求。其核心功能包括提供专业意见、明确研究方向、生成摘要与引言、撰写正文及结论,同时支持多篇文献分析总结与实验设计。该工具还具备联网搜索、长文本处理及多语言翻译能力,助力学术研究、内容创作及法律咨询等领域的工作效率提升。 ---

Lingua

Lingua是Meta AI推出的轻量级代码库,专注于大规模语言模型的训练与推理。它基于PyTorch框架,具有模块化设计、分布式训练支持以及灵活的自定义能力,适用于学术研究、工业部署及模型优化等多个领域。Lingua支持端到端训练、性能优化、多GPU协作,并提供丰富的工具来管理和保存模型。