算法 - 智狐AI导航

BILLIANT神经网络概论

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

Ai编程建站 1970年01月01日 0 点赞 0 评论 501 浏览

易健EasyHealth

易健EasyHealth是一款基于大语言模型技术开发的微信小程序，提供AI智能问答、情感智能算法、健康档案管理、健康数据分析及个性化健康咨询等多功能服务。用户可免费注册并自定义AI助手性格与回答风格，同时享受多语言支持和定制化健康建议，用于个人健康管理、健康咨询、疾病预防、健康教育及心理支持等多个应用场景。

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

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

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

PlanGEN

PlanGEN 是谷歌研发的多智能体协作框架，用于解决复杂问题的规划与推理。它包含约束、验证和选择三大智能体，支持多智能体协作、约束引导、算法自适应选择等功能。提供四种实现方式，适用于不同复杂度任务，如日程安排、数学证明、自动驾驶等。具有模型不可知性，可与多种大语言模型结合，具备良好的可扩展性和灵活性。

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

BFS

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

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

AI Interview Copilot

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

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