LeanDojo-定理证明的检索增强语言模型

Dify-Sandbox是一个轻量、快速、安全的多语言代码执行环境，适用于在多用户环境中安全运行不受信任的代码。它支持在沙箱环境中限制代码可访问的资源和系统调用，确保系统的安全性和稳定性。

DoomPDF 是一个用于生成游戏画面的工具，旨在通过集成 AI 技术来实时生成高质量的游戏画面。

Linkable 是一个利用人工智能的数字产品销售平台，用户可以轻松搭建品牌数字中心，销售各种数字产品。

Assist Desk是一个由AI驱动的客户支持解决方案，提供全天候的客户帮助。它通过与现有客户支持平台的集成，自动分析客户查询并提供相关响应或将客户引导至适当资源，旨在提升客户支持体验。

KoboldCPP 是一个本地运行大模型的工具，支持 GPU 和 CPU 版本，旨在省去搭建运行环境的麻烦，是 gpt4all 的竞争产品。

Careerflow是一个AI驱动的求职工具，提供智能求职信、简历审核、自动填写申请、网络关系追踪等多种功能，帮助用户高效找到理想工作。

AI or Not是一个受到10万+用户信任的AI检测工具，可以检查图像、音频、KYC身份文件等内容是否为AI生成。它帮助企业防止欺诈、增强内容审核和防止KYC诈骗。

PostNitro是一个基于人工智能的社交媒体转盘创建工具，用户只需几分钟即可制作出令人惊艳的定制化转盘帖子，帮助营销人员、代理商、小企业主和创作者节省大量手动设计和文案工作的时间。

Spoken AI 是一个基于大语言模型（LLM）的语言翻译工具，利用先进的架构和全面的数据库，提供超过140种语言的母语级翻译，并创新性地引入方言特定翻译。

Prompt Space是一个全球性的AI提示市场，用户可以在这里使用加密货币购买和出售针对DALL-E 2、Midjourney、ChatGPT和Stable Diffusion的提示。

UpGrow是一个顶尖的AI驱动Instagram增长服务，帮助用户获得真实的Instagram粉丝并自动化他们的增长。用户只需注册账户，连接Instagram个人资料，让我们的AI增长引擎发挥作用，吸引真实和积极参与的粉丝，帮助您提升Instagram影响力。

You Rate AI 是一个平台，旨在通过用户的真实体验对人工智能（LLMs）服务进行评分，而不仅仅依赖于学术论文和基准测试。这使得用户能够更好地了解不同AI服务的实际性能，从而做出更明智的选择。

TheLoops是一款全能的智能平台，利用AI为客户体验团队提供可操作的洞察，帮助提升成本节约和客户留存率，分析支持数据并提供实时预测、趋势、情感分析等功能。

Tricksy是一款支持在单个GPU上进行快速推理的工具，利用稀疏感知卸载技术来提高推理效率和速度，同时优化资源使用，适用于深度学习模型的多种场景。

人工智能工作室是一个用户友好的网页应用，旨在简化超参数调优这一通常令人头疼的任务。它提供了一个直观的用户界面，允许用户轻松尝试不同的超参数，从而优化他们的模型。

Kive是一个AI驱动的创意协作平台，帮助创作者和团队管理视觉资产、赢得提案，并以十倍的速度创造最佳作品。它提供了全面的创意资产管理、灵感发现和协作演示创建的解决方案。

该项目演示了如何利用大模型进行蒸馏来构建小模型，从而在某些领域实现比大型模型更强的推理效果。

Ideapad是一个快速验证创意的平台，用户可以在两周内启动并验证解决问题的想法。通过AI技术，用户可以在一分钟内创建着陆页并连接到自己的域名。在推出最小可行产品(MVP)之前，先与付费客户合作，并通过简洁易懂的仪表板分析信号。