Project Icon

InternLM-Math

开源双语数学推理大模型

InternLM-Math是一个开源的双语数学推理大模型,在形式化和非形式化数学推理方面表现优异。它集成了数学问题求解、证明、验证和增强等功能。该模型在MiniF2F、MATH和GSM8K等基准测试中展现出领先性能,并支持使用Lean语言进行可验证的数学推理。InternLM-Math还可作为奖励模型和数学问题增强助手,为数学研究和应用提供有力支持。

internlm2_5-7b-chat - 卓越推理能力与百万字超长上下文的开源大模型
GithubHuggingfaceInternLM上下文窗口大语言模型工具使用开源项目推理能力模型
InternLM2.5-7B-Chat是一个开源的70亿参数大语言模型,在数学推理、百万字长文理解和工具调用等方面表现卓越。该模型在多项基准测试中超越同等规模模型,展现强大的综合能力。InternLM2.5-7B-Chat提供基础模型和对话模型,支持通过Transformers加载,并可使用LMDeploy、vLLM等方案部署,为开发者提供灵活的应用选择。
Qwen2.5-Math-7B-Instruct - 强大的数学问题求解模型 支持中英双语CoT和TIR推理
CoTGithubHuggingfaceQwen2.5-MathTIR开源项目数学语言模型模型自然语言处理
Qwen2.5-Math-7B-Instruct是一个专注于数学问题求解的大型语言模型。该模型支持链式思考(CoT)和工具集成推理(TIR)方法,可解决中英文数学问题。相较于前代模型,它在多项数学基准测试中表现出色。模型擅长精确计算、符号操作和算法推理,在MATH基准测试中使用TIR方法获得85.3分。作为Qwen2.5-Math系列的指令微调版本,该模型适用于数学问题解答场景。
Qwen2-Math-1.5B-Instruct - Qwen2系列专业数学推理大模型
GithubHuggingfaceQwen2-Math大语言模型开源项目指令模型数学推理模型自然语言处理
Qwen2-Math-1.5B-Instruct是基于Qwen2系列开发的数学推理专用指令模型。该模型在解决复杂多步逻辑推理的数学问题上表现优异,性能超越多数开源模型。目前主要支持英文对话,可通过Hugging Face Transformers或ModelScope轻松部署使用。作为一个专业的数学推理工具,它为科研社区解决高级数学问题提供了有力支持。
internlm2-chat-20b - 高效支持长文本的20B参数对话模型,具备卓越推理和数据分析能力
GithubHuggingfaceInternLM2-Chat-20B人工智能助手工具调用开源模型开源项目模型长上下文推理
InternLM2-Chat-20B是具备20B参数的先进对话模型,支持长达20万字长上下文,表现出优秀的推理与数据分析能力。模型在多个领域,如数学、代码、创作上显示出色,部分指标超越GPT-3.5,并在GSM8K和MATH测试中接近GPT-4的表现。它的工具调用能力增强,适应复杂任务,同时强调生成符合伦理的文本。
DeepSeek-Prover-V1.5-RL - 集成强化学习与蒙特卡洛树搜索的数学定理证明系统
DeepSeek-ProverGithubHuggingface人工智能模型定理证明开源项目机器学习模型
DeepSeek-Prover-V1.5是基于Lean 4开发的定理证明开源语言模型,结合了证明助手反馈的强化学习技术和改进型蒙特卡洛树搜索算法。在miniF2F和ProofNet等标准测试中分别达到63.5%和25.3%的准确率,验证了其在数学定理证明领域的实用价值。
multilingual-MiniLMv2-L6-mnli-xnli - 轻量级多语言自然语言推理与分类模型
GithubHuggingfaceMiniLMv2多语言翻译开源项目机器学习模型自然语言推理零样本分类
MiniLMv2是一款支持100多种语言的自然语言推理模型,采用知识蒸馏技术从XLM-RoBERTa-large模型优化而来。经过XNLI和MNLI数据集的微调训练,该模型在XNLI测试集达到71.3%的平均准确率。相比原始模型,具备更低的资源消耗和更快的运行速度,适合跨语言迁移学习应用。
InternVL - 开源多模态模型包提供商业级性能
GPT-4oGithubInternVLSOTA性能多模态模型开源开源项目
InternVL项目,作为一个领先的开源多模态模型套件,提供可媲美商业模型GPT-4o的性能。该项目开放源代码,支持多语种和高效OCR功能,在多个benchmark中展现出顶尖性能。该平台包括多种模型,如InternVL2-Pro和Mini-InternVL系列,适用于从聊天机器人至复杂多模态文档理解的应用场景。完备的文档资料和快速启动指南为社区成员提供便捷的使用和优化体验。
InternLM-XComposer - 多模态视觉语言模型实现超高分辨率理解与多场景交互
GithubInternLM-XComposer-2.5多回合多图对话多模态大语言模型开源项目网页制作高分辨率图像理解
InternLM-XComposer-2.5是一款高级多模态视觉语言模型,能处理高达96K的复杂图文背景。该模型优秀适用于超高清图像分析、多轮对话生成、网页创建等任务,并通过特殊算法优化输出质量,在多个基准测试中表现卓越。
DeepSeek-LLM - 多语言大模型展现卓越编码与数学能力
DeepSeek LLMGithub人工智能开源开源项目自然语言处理语言模型
DeepSeek LLM是一个包含67亿参数的先进语言模型,经过2万亿英文和中文token的训练。该模型在推理、编码、数学和中文理解等方面表现优异,超越多个同类模型。其67B Chat版本在编码和数学方面尤为出色,在HumanEval和GSM8K等基准测试中名列前茅。项目开源了7B和67B的base与chat版本,可用于学术和商业研究。
Qwen2.5-Math-7B-Instruct-bnb-4bit - Qwen2.5-Math利用CoT与TIR技术提升中英文数学问题解决能力
GithubHuggingfaceQwen2.5-Math免费笔记本工具集成推理开源项目数学问题模型精细调整
该系列在Qwen2的基础上整合链式思维(CoT)与工具集成推理(TIR),增强了中英文数学解决能力。Qwen2.5-Math提供基础、指令调优和数学奖励模型,性能较前代版提升显著,特别是在数学基准测试中。建议使用最新版本的transformers进行安装和推理,配备丰富的交互式Notebook示例,便于用户快速上手。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

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

Project Cover

AI写歌

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

Project Cover

有言AI

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

Project Cover

Kimi

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

Project Cover

阿里绘蛙

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

Project Cover

吐司

探索Tensor.Art平台的独特AI模型,免费访问各种图像生成与AI训练工具,从Stable Diffusion等基础模型开始,轻松实现创新图像生成。体验前沿的AI技术,推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器,它将改变您观看视频的方式!SubCat结合了先进的人工智能技术,为您提供即时视频字幕翻译,无论是本地视频还是网络流媒体,让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台,利用前沿AI技术,为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图,再到文案生成,美间让创意设计更简单、更高效。

Project Cover

稿定AI

稿定设计 是一个多功能的在线设计和创意平台,提供广泛的设计工具和资源,以满足不同用户的需求。从专业的图形设计师到普通用户,无论是进行图片处理、智能抠图、H5页面制作还是视频剪辑,稿定设计都能提供简单、高效的解决方案。该平台以其用户友好的界面和强大的功能集合,帮助用户轻松实现创意设计。

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