Project Icon

NuminaMath-7B-TIR

采用工具集成推理技术的数学问题解决语言模型

NuminaMath 7B TIR是一种使用工具集成推理技术训练的语言模型,专门为数学问题解决而设计,在AI数学奥林匹克测试中取得了29/50的得分。经过深度微调,该模型能够处理从基础到高阶数学的复杂问题,尤其是在GSM8k和MATH等基准测试中表现优异。模型基于DeepSeek基础版优化,利用大规模数据集,通过逐步解题和工具推理增强问题解决能力,适合用于数学问题解决和教育场景。

internlm2-base-7b - 高效处理超长文本的多功能开源模型
GithubHuggingfaceInternLM开源开源项目模型评测语言能力
InternLM2-Base-7B是一个适应性强的开源模型,支持处理长达20万字的文本,具备精确的信息检索能力,并在推理、数学、编程任务中表现优异。通过OpenCompass工具验证,其性能适合广泛应用,是研究人员和开发者的理想选择。
Infinity-Instruct-3M-0613-Mistral-7B - 提升语言模型性能的开源指导调优模型
AlpacaEval2.0GithubHuggingfaceInfinity Instruct开源模型开源项目指令微调无反馈强化学习模型
Infinity-Instruct-3M-0613-Mistral-7B是一个开源的指导调优模型,无需人类反馈的强化学习。该模型在百万级指令数据集上经过微调,在AlpacaEval 2.0基准测试中取得了25.5的高分,表现优于Mixtral 8x7B v0.1、Gemini Pro和GPT-3.5。通过低成本训练提高了Mistral-7B的基础能力和对话能力,并在MT-Bench测试中表现出色。适合多样化的下游任务,该模型为研究与应用提供了良好的支持。
OLMo-7B-0724-hf - OLMo开放式语言模型促进语言处理技术进步
AI2GithubHuggingfaceOLMo变形金刚开源语言模型开源项目模型自然语言处理
OLMo是由AI2开发的开源语言模型系列,旨在推动语言模型科学研究。该模型基于Dolma数据集训练,采用先进的Transformer结构,实现性能提升和多阶段优化。OLMo-7B-0724-hf具备强大的文本生成能力,适用于文本推理和生成任务。支持在HuggingFace平台上进行加载、微调和评估,且提供多种数据检查点,方便研究与开发。该项目得到多家机构支持,并在多个主要AI任务中表现优异。
MiniCPM3-4B - 轻量高效的开源模型支持长文本处理和函数调用
GithubHuggingfaceMiniCPM3人工智能大语言模型开源模型开源项目机器学习模型
MiniCPM3-4B是一款开源语言模型,仅用4B参数就达到了接近GPT-3.5-Turbo的性能。它具备32k上下文窗口、函数调用和代码解释器等功能,在中英双语、数学和编程等多个基准测试中表现出色。通过创新的训练策略,MiniCPM3-4B实现了与7B-9B模型相当的能力,为资源受限的AI应用场景提供了高效选择。
MMMU - 多学科多模态理解与推理基准评估专家级AGI
GPT-4V(ision)GithubMMMU专家AGI基准测试多模态理解开源项目
MMMU是一个新型基准测试,设计用于评估多模态模型在多学科任务中的表现,特别是需要大学水平的学科知识和深思熟虑的推理能力。该基准包含11.5K道来自大学考试、测验和教材的多模态题目,覆盖艺术设计、商业、科学、健康医学、人文社会科学及技术工程六大领域。不同于现有基准,MMMU专注于高级感知和领域特定知识的推理,挑战模型执行专家级任务。评估14个开源LMM和GPT-4V(ision)显示,即使是最先进的模型其准确率仅为56%,表明有巨大改进空间。
Phi-3-mini-128k-instruct - 38亿参数模型展现卓越推理能力和长上下文理解
GithubHuggingfacePhi-3人工智能大语言模型开源项目微软模型自然语言处理
Phi-3-mini-128k-instruct是一个参数量为38亿的开放模型,在各类推理任务中表现优异。它采用Phi-3数据集训练,具备128K的上下文长度处理能力,通过精心设计的后训练过程提升了指令遵循能力和输出安全性。该模型在13亿参数以下规模中展现出卓越性能,尤其适合需要强大推理能力的应用场景,如常识推理、语言理解、数学计算和代码编写等。
Infinity-Instruct-3M-0625-Yi-1.5-9B - 大规模指令调优模型无需人类反馈的创新
GithubHuggingfaceInfinity Instruct北京智源人工智能研究院开源项目无强化学习模型模型训练深度学习
Infinity-Instruct-3M-0625-Yi-1.5-9B是一个开放源码的指导调优模型,不依赖于人类反馈强化学习。模型通过在Infinity-Instruct-3M上的微调展现了优异的性能,特别是在AlpacaEval 2.0和MT-Bench评估中表现突出。近期发布的InfInstruct-Mistral-7B 0625等模型权重优化了训练效率。借助FlagScale等创新训练技术,该模型大幅降低了训练成本,擅长处理数学和代码指令,并具备强大的聊天功能。该模型仅限于学术研究使用,不适用于商业用途。
Quant Prep AI - GRE与GMAT数学备考智能辅助工具
AI工具Chrome扩展GREOpenAIQuantPrepAIQuant准备
Quant Prep AI是一款为GRE和GMAT数学备考设计的Chrome扩展。它运用AI技术协助用户掌握解题策略,提供解题提示和详细解析。用户只需三步即可开始使用:安装扩展、连接OpenAI账户、开始备考。该工具免费提供解题提示,帮助用户学习多种数学题型的解题方法。
gpt4-with-calc - GPT-4数值计算能力增强技术探索
APIGPT-4Github开源项目数值计算模型评估问题解决
本项目研究了增强GPT-4数值计算能力的技术。通过详细报告、评估结果和示例代码,展示了GPT-4在处理复杂数学问题和金融报告分析方面的能力提升。项目提供命令行工具,支持自定义问题和预设样本测试。这种创新方法旨在扩展AI在精确数值计算领域的应用范围。
MiniCPM-V-2_6-GGUF - 使用imatrix量化优化模型性能
GithubHuggingfaceMiniCPM-V-2_6transformers多语言开源项目模型视觉处理量化
项目应用llama.cpp的imatrix量化方法,优化模型的文本性能。提供多种量化文件,适配不同硬件配置,尤其适合低RAM环境。这一技术允许根据系统RAM和GPU VRAM选择合适的模型,实现性能与速度的平衡。支持多模态图像-文本转换和多语言处理,可在LM Studio中运行,为开源社区提供多样化的工具和使用选择。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手,通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能,支持100+编程语言,与主流编辑器无缝集成,显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台,能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐,Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

白日梦AI

白日梦AI提供专注于AI视频生成的多样化功能,包括文生视频、动态画面和形象生成等,帮助用户快速上手,创造专业级内容。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案,通过智能技术简化视频制作流程。无论是企业宣传还是个人分享,有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持,能够阅读和理解用户上传的文件内容,解析网页信息,并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题,Kimi都能以友好、专业的方式提供帮助。

Project Cover

讯飞绘镜

讯飞绘镜是一个支持从创意到完整视频创作的智能平台,用户可以快速生成视频素材并创作独特的音乐视频和故事。平台提供多样化的主题和精选作品,帮助用户探索创意灵感。

Project Cover

讯飞文书

讯飞文书依托讯飞星火大模型,为文书写作者提供从素材筹备到稿件撰写及审稿的全程支持。通过录音智记和以稿写稿等功能,满足事务性工作的高频需求,帮助撰稿人节省精力,提高效率,优化工作与生活。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术,为商家提供一键生成商品图和营销文案的服务,显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台,让商品第一时间被种草。

Project Cover

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号