-->
共找到 6 个AI工具
点击任意工具查看详细信息
AI-Researcher 是一个基于斯坦福大学自然语言处理团队的研究项目,旨在通过人工智能技术辅助研究创意的生成和管理。该工具通过自然语言输入研究主题,输出一系列项目提案,并对其进行排名和过滤,以帮助研究人员快速找到创新且可行的研究点子。它包括相关论文搜索、基于检索的想法生成、想法去重、项目提案生成、项目提案排名和过滤等模块。
这个GitHub仓库包含了训练和推理代码,用于复制我们在AI数学奥林匹克(AIMO)进展奖1中的获胜解决方案。我们的解决方案由四个主要部分组成:一个用于微调DeepSeekMath-Base 7B以使用工具集成推理(TIR)解决数学问题的配方;两个约100万个数学问题和解决方案的高质量训练数据集;一个自洽解码算法,用于生成具有代码执行反馈的解决方案候选项(SC-TIR);四个来自AMC、AIME和MATH的精心选择的验证集,以指导模型选择并避免对公共排行榜的过拟合。
DeepLearing-Interview-Awesome-2024 是一个开源的面试题目集合项目,专注于深度学习算法和大模型领域的面试准备。该项目由社区成员共同维护,旨在提供最新的面试题目和答案解析,帮助求职者和研究人员深入理解深度学习领域的前沿技术和应用。它包含了丰富的面试题目,覆盖了大语言模型、视觉模型、通用问题等多个方面,是准备深度学习相关职位的宝贵资源。
LeetCard是一款专为应对编程面试设计的AI智能学习工具。它提供了多项强大功能如:OpenAI驱动的智能提示,可为每道习题提供准确指导,确保你轻松掌握所有概念;个性化学习计划,根据你的程度定制合适的学习路径;高效的题目和笔记组织功能,规避杂乱无序的问题;智能手机闪卡功能,随时随地复习知识点;个性化控制面板,设置学习目标,监控进度;详细的数据分析,查看学习成绩,发现需改进的部分。无论是编程新手还是老手,都能在这里获得贴心的辅助,轻松应对面试挑战。
微软AI之旅是一项为开发者设计的AI技能挑战活动。活动包括两大模块:第一模块通过完成一系列Azure AI服务实训,学习NLP、视觉AI等技能;第二模块需要通过系列任务考核,获得微软认证证书。完成两模块可获得参加微软AI之旅VIP通行证。活动旨在帮助开发者掌握AI技能,取得证书。
MathCoder是一款基于开源语言模型的数学推理工具,通过fine-tune模型和生成高质量的数据集,实现了自然语言、代码和执行结果的交替,提高了数学推理能力。MathCoder模型在MATH和GSM8K数据集上取得了最新的最高分数,远远超过其他开源替代品。MathCoder模型不仅在GSM8K和MATH上超过了ChatGPT-3.5和PaLM-2,还在竞赛级别的MATH数据集上超过了GPT-4。
探索 教育 分类下的其他子分类
649 个工具
125 个工具
113 个工具
98 个工具
76 个工具
71 个工具
69 个工具
52 个工具
AI开发助手 是 教育 分类下的热门子分类,包含 6 个优质AI工具