llm-verified-with-monte-carlo-tree-search

通过蒙特卡洛树搜索实现大语言模型代码验证

Monte Carlo Tree Search Python Dafny Coq Lean Github 开源项目

该项目通过蒙特卡洛树搜索（MCTS）生成并验证代码，每步调用验证器确保正确性。支持Dafny、Coq、Lean、Scala和Rust语言，可使较弱模型与强模型竞争。项目需GPU支持，提供详细的设置和运行指南，包括交互模式和特定语言配置。

rtp-llm - 大型语言模型推理加速引擎

CUDAGithubrtp-llm多模态输入大语言模型开源项目量化

rtp-llm是阿里巴巴基础模型推理团队开发的大型语言模型推理加速引擎，广泛应用于支持淘宝问答、天猫、菜鸟网络等业务，并显著提升处理效率。该项目基于高性能CUDA技术，支持多种权重格式和多模态输入处理，跨多个硬件后端。新版本增强了GPU内存管理和设备后端，优化了动态批处理功能，提高了用户的使用和体验效率。

Multi-LLM-Agent - 多模型协作系统提升小型语言模型工具学习效能

GithubMulti-LLM Agentα-UMi人工智能大语言模型工具学习开源项目

α-UMi是一个创新的多模型协作系统，将语言模型能力分解为规划、调用和总结三个组件。通过全局到局部的渐进式微调策略和灵活的提示设计，该系统显著提升了小型语言模型在工具学习任务中的表现，甚至超越了某些大型闭源模型。α-UMi为复杂AI任务提供了新的高效解决方案。

LLM-X - 多模型集成的大语言模型API管理平台

AI工具API集成LLM-X.AI大语言模型安全管理开发工具

LLM-X平台通过单一API整合多个大语言模型，提供安全的令牌管理和统一的LLM集成。该平台支持OpenAI、Anthropic等知名提供商，并具备API使用可视化功能。LLM-X简化了开发流程，无需管理基础设施，使开发者能专注于创新而非技术细节，从而提高工作效率。平台支持多个领先的大语言模型，让开发者能够轻松地在工作流中使用各种LLM，并通过成本跟踪功能优化资源利用。

LL3DA - 3D环境下的多模态语言和视觉互动助手

3D环境3D语言模型GithubLL3DA开源项目点云视觉交互

LL3DA是一种大型语言3D助手，能够在复杂的3D环境中响应视觉和文本交互。现有的多模态模型在3D场景理解中的挑战使得LL3DA采用点云直接作为输入，从而减少计算负担并提升性能。实验结果表明，LL3DA在3D密集描述和3D问答任务上优于其他3D视觉语言模型。其开源代码和预训练模型权重允许用户训练定制模型，并进一步拓展到更大规模的3D视觉语言基准上。

llama2.rs - Rust开发的高效Llama2 CPU推理库

CPU推理GithubLlama2RustSIMD开源项目量化

llama2.rs是一个用Rust开发的Llama2 CPU推理库，专注于提供高性能的推理能力。项目支持4位GPT-Q量化、批量预填充提示标记、SIMD加速和内存映射等技术，实现了70B模型的即时加载。通过Python API，开发者可在普通台式机上运行70B Llama2模型（1 token/s）和7B模型（9 tokens/s）。该项目为大规模语言模型的CPU推理提供了高效且灵活的开源解决方案。

code-act - 使用可执行代码统一LLM代理机制

CodeActCodeActAgentGithubKubernetesLLMPython开源项目

CodeAct通过可执行代码统一了LLM代理的行动空间，并利用集成的Python解释器实现动态行为调整。相比文本和JSON，CodeAct成功率提高了20%。项目包含详细数据集和模型说明，并支持Kubernetes部署，显著提升在非专业任务中的性能表现。

starcoder2-self-align - 自我校准的代码生成大型语言模型

GithubStarCoder2-Instruct代码生成大语言模型开源项目数据生成流水线模型训练

StarCoder2-15B-Instruct-v0.1是一款完全自我校准的代码生成大型语言模型，采用公开透明的工作流程，无需人工注释或专有数据。模型通过生成大量指令-响应对，进一步微调自身。专为Python代码生成任务优化，支持语法验证和定制排序。提供详细的训练和评估信息，包括数据生成、模型优化和性能验证，适用于多种编程任务。模型强调透明度和开放许可，提升代码生成的准确性和效率。

fastllm - 纯C++实现的跨平台大语言模型推理库

GPU加速Githubc++实现fastllm多平台大模型推理开源项目

fastllm是一个纯C++实现的大语言模型推理库，无第三方依赖，支持多平台部署。这个开源项目具有快速的推理速度，支持多种模型格式，可实现多卡部署和流式输出。fastllm兼容ChatGLM、Qwen、LLAMA等多种模型，提供Python接口和自定义模型结构功能。该项目适用于需要高效、灵活部署大语言模型的场景。

self-refine - LLM自我反馈迭代优化自然语言处理任务

GithubLLMSelf-Refine开源项目自我反馈自然语言处理迭代优化

Self-Refine是一个创新的自然语言处理项目，利用大型语言模型(LLM)生成、评估和改进自身输出。通过迭代过程，LLM对自己的工作提供反馈并持续优化结果。该项目在缩写生成、对话响应和代码可读性改进等多个任务中展现了效果。这种自我完善方法为提升AI系统性能和可靠性开辟了新途径。

dive-into-llms - 大语言模型实践教程

GithubLLM人工智能大模型开源项目教程编程实践

该项目提供一系列大语言模型实践教程，涵盖模型微调、部署、提示学习、知识编辑、水印技术等多个前沿主题。通过动手实践，学习者可快速掌握大模型技术，为相关课程和研究奠定基础。教程内容源自上海交通大学课程，适合AI爱好者和研究人员学习使用。

相关项目

推荐项目

豆包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