算法

1. 首页
2. 算法

OpenSubtitles

一个提供大量多种语言的电影和电视节目字幕库的综合性在线平台，OpenSubtitles拥有庞大的数据库，有超过 692 万条字幕可供搜索和下载，使其成为同类中最大的存储库之一。

字幕配音 2025年06月05日 46 点赞 0 评论 708 浏览

BILLIANT神经网络概论

研究神经网络的机制,学习工具如何工作

Ai编程建站 2026年08月08日 0 点赞 0 评论 708 浏览

Stable Diffusion-AI辅助设计

64课时带领大家系统完成SD的全流程学习，并精讲一款让SD从玩具升级到强大生产力工具的热门插件—ControlNet的使用。

Ai学习资源 2026年08月08日 0 点赞 0 评论 694 浏览

CriticGPT

CriticGPT是一种基于GPT-4架构的人工智能模型，专注于审查和识别由大型语言模型生成的代码中的错误。它利用人类反馈强化学习（RLHF）技术，显著提高了代码审查的准确性和效率。CriticGPT具备代码审核、错误识别、安全漏洞分析、反馈生成、性能评估和辅助学习等功能。它通过记录人类评估员故意插入的错误，生成训练数据，并使用近端策略优化（PPO）算法和强制采样波束搜索（FSBS）技术，生成详细

AI项目与工具 2025年06月12日 76 点赞 0 评论 692 浏览

DomoAi

DomoAi，一个用于从动漫中创建栩栩如生的肖像的免费AI工具，通过 DomoAI 将文本转换为令人惊叹的图像。释放你的创造力！加入 discord 免费访问 Domo.AI 工具，探索基于艺术、动漫、内容创作等的广泛社区！

Ai绘画生成 2025年06月05日 40 点赞 0 评论 691 浏览

BFS

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

AI项目与工具 2025年06月12日 75 点赞 0 评论 685 浏览

WebWave AI

一款功能强大的网站生成器工具，可让您一键生成自定义网站。借助 AI 驱动的技术，WebWave AI 可以立即根据您的需求创建令人惊叹的网站。

Ai编程建站 2025年06月05日 95 点赞 0 评论 685 浏览

AI Interview Copilot

AI Interview Copilot是一款专为求职者设计的AI辅助工具，通过实时语音转录和先进的语言模型（如GPT-4）来提升远程面试的表现。主要功能包括实时转录、问题解答、算法问题解决和图像识别等。该工具支持多语言，帮助求职者在技术或编程面试中快速生成答案和代码，从而更加自信地展示专业技能，提高面试成功率。

AI项目与工具 2025年06月12日 58 点赞 0 评论 683 浏览

Composer

一个交易平台和投资应用程序，Composer使用户能够在无需编码的情况下构建和执行交易算法。

财经投资 2025年06月05日 54 点赞 0 评论 677 浏览

KAZE

KAZE是一款依托人工智能技术的在线图片处理平台，主要功能涵盖图片去水印、风格转换、旧照修复及物体移除等。凭借其智能化算法，KAZE能够准确识别并清除水印，同时确保图片质量不受影响。用户可直接通过浏览器使用该服务，无需下载额外软件，适用于内容创作、艺术设计、教育科研等多个领域。

AI项目与工具 2025年06月12日 36 点赞 0 评论 674 浏览