吐司AI LOGO 吐司AI LOGO是一款基于AI技术的插图LOGO生成工具，支持文生图、图生图等多种模式，提供模型管理、参数调节及多主题切换等功能。用户可通过文字描述生成个性化LOGO，适用于品牌设计、艺术创作及产品开发等多个场景，具备高效、灵活和易用的特点。 AI项目与工具 2025年06月12日 58 点赞 0 评论 158 浏览
memobase Memobase 是一个开源用户记忆系统，专为生成式 AI 应用设计，支持长期用户数据存储与管理。具备时间感知、灵活配置、高效集成与批量处理能力，适用于虚拟助手、教育工具、用户分析等场景。通过结构化用户画像和事件序列管理，提升 AI 的个性化服务能力，支持大规模用户环境下的稳定运行。 AI项目与工具 2025年06月12日 99 点赞 0 评论 170 浏览
MeteoRA MeteoRA是一种基于LoRA和混合专家架构的多任务嵌入框架，用于大型语言模型。它支持多任务适配器集成、自主任务切换、高效推理及复合任务处理，提升模型灵活性和实用性。通过动态门控机制和前向加速策略，显著提高推理效率并降低内存占用，适用于多领域问答、多语言对话等场景。 AI项目与工具 2025年06月12日 72 点赞 0 评论 222 浏览
DeepEP DeepEP 是 DeepSeek 开发的开源 EP 通信库，专为混合专家模型（MoE）的训练和推理设计。它提供高吞吐、低延迟的 GPU 内核，支持 NVLink 和 RDMA 通信，优化了组限制门控算法，兼容 FP8 等低精度数据格式。适用于大规模模型训练、推理解码及高性能计算场景，具有良好的系统兼容性和网络优化能力。 AI项目与工具 2025年06月12日 43 点赞 0 评论 482 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 250 浏览
PySpur PySpur 是一款开源的轻量级可视化 AI 工作流构建工具，支持拖拽式界面，帮助用户快速构建、测试和迭代 AI 应用，无需编写复杂代码。其功能包括循环与记忆、文件处理、结构化输出、RAG 技术、多模态数据支持及与多个平台的集成。适用于智能对话系统、自动化任务管理、多模态数据分析等场景，适合非技术人员和开发者使用。 AI项目与工具 2025年06月12日 28 点赞 0 评论 284 浏览
DeepGEMM DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。 AI项目与工具 2025年06月12日 61 点赞 0 评论 466 浏览
TinyR1 TinyR1-Preview是由北京大学与360公司联合研发的32B参数推理模型，采用“分治-融合”策略，通过智能融合数学、编程、科学领域的子模型，实现高性能表现。其在数学领域（如AIME）表现优异，仅用5%参数量即可达到原版R1模型95%以上的性能。模型轻量且高效，适用于教育、科研、开发及企业等多种场景，具备良好的部署灵活性与实用性。 AI项目与工具 2025年06月12日 94 点赞 0 评论 448 浏览
SurveyX SurveyX 是一款基于大型语言模型的学术综述生成工具，由多所高校联合开发。它通过用户输入的标题和关键词，自动生成高质量、结构化的学术综述，适用于多个研究领域。系统具备高效的文献检索与整合能力，结合智能大纲生成和内容优化技术，提升综述的准确性和逻辑性。同时支持动态更新和多模态展示，广泛应用于科研、教学及行业分析场景。 AI项目与工具 2025年06月12日 25 点赞 0 评论 208 浏览
Flame Flame是一款开源的多模态AI模型，能够将UI设计截图转换为高质量的现代前端代码。它支持React等主流框架，具备动态交互、组件化开发和高代码质量的特点。Flame通过创新的数据合成方法提升代码多样性与准确性，适用于快速原型开发、提升开发效率及辅助学习等多种场景。其训练数据、模型和测试集均已开源，为前端开发提供了高效的工具支持。 AI项目与工具 2025年06月12日 87 点赞 0 评论 407 浏览
