math-lm

Llemma 开源数学语言模型助力数学推理突破

Llemma 数学语言模型开源项目 EleutherAI 人工智能 Github

Llemma是一个专为数学领域开发的开源语言模型。该项目基于Proof-Pile-2数据集训练，提供7B和34B两种规模的模型版本。Llemma在数学问题解决和定理证明等任务中表现优异，为数学研究和教育领域提供了有力的AI支持。项目不仅开源了模型，还包括数据集和相关代码，促进了数学AI技术的进步。

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

GithubHuggingfaceNuminaMath工具集成推理开源项目数学问题解决模型模型性能训练程序

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

LiteLLM - 集成多种大语言模型的统一API代理平台

AI工具API统一LiteLLM代理服务器大语言模型开源项目

LiteLLM是一个统一的API代理平台，集成了100多种大语言模型，提供认证管理、负载均衡和支出跟踪功能。采用OpenAI格式，简化了多个LLM提供商的接入流程。LiteLLM具有开源和企业版本，支持高可用性，拥有活跃的社区。核心功能涵盖模型添加、负载均衡、密钥创建和支出监控，适合需要灵活管理多个LLM资源的开发团队和企业。

llm-analysis - 大型语言模型训练与推理的延迟和内存使用分析工具

GithubTransformer模型llm-analysis内存分析大语言模型延迟分析开源项目

llm-analysis 是一款为大型语言模型（LLMs），如Transformer设计的工具，用于在不同的模型、GPU、数据类型和并行配置下估算训练与推理的延迟和内存使用。通过简单设置，可以快速计算出不同训练和推理方案的系统性能，以确定最优和可行的配置方案。此外，llm-analysis 支持多种并行化和重计算策略，并提供多种预定义配置和命令行接口，极大简化了配置和调试流程。它功能强大且易于集成，是开发和优化LLMs的理想工具。

LabelLLM - 开源数据标注平台优化LLM开发流程

GithubLabelLLM人工智能多模态开源开源项目数据标注平台

LabelLLM是一个开源数据标注平台，旨在优化大型语言模型(LLM)开发中的数据标注流程。该平台提供灵活配置、多模态数据支持、全面任务管理和AI辅助标注功能。LabelLLM适合独立开发者和中小型研究团队使用，可显著提高数据标注效率，为LLM训练数据准备提供有力支持。

llm-api - 灵活易用的跨平台大语言模型API框架

API接口Docker容器GPU加速GithubLLM API大语言模型开源项目

LLM-API是一个灵活的大语言模型API框架，支持在多种硬件平台上运行各类LLM模型。通过简单的YAML配置，它能自动下载模型并提供统一的API接口。支持Docker容器和本地运行，兼容Llama、GPT等多种模型。项目还包含Python客户端和LangChain集成，大大简化了LLM的应用开发过程，使其强大功能更易于开发者使用。

llama3-chinese - 基于Meta-Llama-3-8B的中英双语大语言模型

GithubLlama3-Chinese人工智能大语言模型开源项目自然语言处理

Llama3-Chinese是基于Meta-Llama-3-8B训练的中英双语大语言模型。该项目使用高质量多语言数据和先进训练方法，提升了模型的对话能力。项目提供完整的模型使用指南，包括下载、合并、推理和部署，并配有Web和CLI演示，方便研究者和开发者使用。

Llama-3.2-3B-GGUF - 高性能多语言型大语言模型支持8种语言

GithubHuggingfaceLlama 3.2人工智能多语言开源项目机器学习模型语言模型

Llama-3.2-3B是Meta开发的多语言大型语言模型,支持8种语言,适用于对话和代理任务。本项目使用llama.cpp对原模型进行量化,保留了128k上下文长度和分组查询注意力等特性。该模型在行业基准测试中表现优异,可用于聊天、知识检索、摘要等自然语言生成任务,适合商业和研究使用。

alphageometry - 无需人类示范的奥林匹克几何问题求解器

AlphaGeometryGithub人工智能几何定理证明开源项目数学奥林匹克机器学习

AlphaGeometry是一个创新的几何定理证明系统，能够解决奥林匹克级别的几何问题，无需人类示范。它结合了演绎-归纳推理和大型语言模型，自动构建辅助线并生成严格证明。在IMO-AG-30和JGEX-AG-231测试集上，AlphaGeometry分别解决了25和228个问题，大幅超越传统DDAR方法。项目开源了核心代码，包括DDAR求解器和语言模型推理模块，为几何定理自动证明开辟新路径。

open-llms - 开放源代码大型语言模型及其商业应用全景解析

Apache 2.0GithubLarge Language Models商业使用许可开源开源项目模型发布

Open-llms 项目展示了众多采用开源许可证的大型语言模型（LLMs），支持商业应用，涵盖如T5、GPT-NeoX、YaLM等模型。每款模型设有详细说明及许可信息，鼓励社区交流与贡献，是机器学习研究和应用的重要资源库。

LLMBox - 全面的大型语言模型训练与评估框架

GithubLLMBox大语言模型开源项目模型评估训练管道高效推理

LLMBox是一个综合性大型语言模型(LLM)库，集成了统一的训练流程和全面的模型评估功能。该框架旨在提供LLM训练和应用的完整解决方案，其设计注重实用性，在训练和使用过程中体现出高度的灵活性和效率。LLMBox支持多样化的训练策略和数据集，提供丰富的评估方法，并具备高效的推理和量化能力，为LLM的研究和开发提供了强大支持。

相关项目

推荐项目

豆包MarsCode

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

AI写歌

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

有言AI

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

Kimi

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

阿里绘蛙

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

吐司

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

SubCat字幕猫

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

美间AI

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

AIWritePaper论文写作

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

使用协议隐私政策广告服务

投诉举报邮箱: service@vectorlightyear.com