学习 - 智狐AI导航

AnswerAI

一款学习帮助应用程序，您的GPT-4 AI作业助手插件。它能快速获得AI答案，还可以写电子邮件、文章、聊天机器人、学习助手。

教育学习 2025年06月05日 36 点赞 0 评论 327 浏览

BFS

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

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

LuciaAI

AI写作助手，实现更快、更好的写作。

AI写作对话 1970年01月01日 0 点赞 0 评论 324 浏览

智能答人

一款基于AI大语言模型、自然语言处理、深度学习等技术的AI客服机器人。它可以通过对企业上传的私有化数据进行自主化训练学习，生成企业专属的、定制化的智能客服，能够精准理解用户诉求，并以更接近人类对话方式交互问答。

AI服务商 2025年06月05日 57 点赞 0 评论 324 浏览

Teacher2Task

Teacher2Task是一个由谷歌团队研发的多教师学习框架，其核心在于引入教师特定的输入标记并重新构建训练过程，以减少对人工聚合方法的依赖。通过将训练数据转化为多个子任务，该框架能够从不同教师的多样化预测中学习，提高模型的性能和鲁棒性，同时降低标签不准确性的风险。它适用于机器翻译、图像理解、自然语言处理等多个领域，显著提升了数据利用效率。

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