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

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

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

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

MoE-LLaVA - 高效视觉语言模型的新方向

GithubMoE-LLaVA多模态学习大视觉语言模型开源项目性能表现稀疏激活

MoE-LLaVA项目采用混合专家技术,实现了高效的大规模视觉语言模型。该模型仅使用3B稀疏激活参数就达到了与7B参数模型相当的性能,在多项视觉理解任务中表现优异。项目提供简单的基线方法,通过稀疏路径学习多模态交互,可在8张A100 GPU上1天内完成训练。MoE-LLaVA为构建高性能、低参数量的视觉语言模型探索了新的方向。

honest_llama - 推理时干预技术提高大语言模型真实性

GithubInference-Time InterventionLLaMATruthfulQA开源项目真实性语言模型

Honest LLaMA项目开发的推理时干预(ITI)技术通过调整注意力头激活，显著提升了大语言模型在TruthfulQA基准测试中的真实性表现。这种方法具有数据效率高、计算成本低的优势，为平衡模型真实性和实用性提供了新思路。ITI技术在LLaMA等模型上的成功应用，展示了其在提高AI系统可信度方面的潜力。

llm.js - JavaScript实现浏览器直接运行大语言模型

GithubJavaScriptLLM.jsWebAssembly大语言模型开源项目浏览器推理

llm.js是一个JavaScript库，实现了在浏览器中直接运行大语言模型。该项目支持TinyLLaMA、GPT-2和Qwen等多种模型，利用WebAssembly技术在浏览器端进行高效推理，可在智能手机等设备上运行。llm.js提供结构化响应、Web Worker支持和模型缓存等功能，方便开发者将AI能力整合到Web应用中。

JudgeLM - 大语言模型开放场景高效评估技术

GithubJudgeLM大语言模型开放式任务开源项目微调模型评估

JudgeLM是一个用于训练和评估大语言模型评判器的开放平台。通过微调技术，该项目实现了对开放场景中大语言模型的高效评估，评判一致性超过人类水平。JudgeLM提供先进的评判器训练和评估代码，能够处理单一回答、多模态模型、多个回答和多轮对话等任务。此外，该平台还集成了分布式多模型服务系统和Web界面，方便用户使用和部署。

yet-another-applied-llm-benchmark - 基于真实场景的大语言模型能力评估基准

API密钥Docker容器GithubLLM基准测试开源项目数据流DSL模型评估

yet-another-applied-llm-benchmark是一个评估大语言模型在实际应用场景中表现的基准测试项目。该项目包含近100个源自真实使用情况的测试案例，涵盖代码转换、反编译、SQL生成等多种任务。通过简单的数据流DSL设计测试，项目提供了一个灵活的框架来评估大语言模型的实际能力。这个基准虽不是严格的学术标准，但为开发者提供了衡量大语言模型在日常编程任务中表现的实用方法。

WizardLM - 增强大型语言模型执行复杂指令的开源项目

GithubWizardLM人工智能大语言模型开源模型开源项目指令跟随

WizardLM项目致力于增强大型预训练语言模型处理复杂指令的能力。通过创新训练方法，该项目使模型更好地理解和执行多步骤、高难度任务。WizardLM在编程、数学和通用对话等基准测试中表现卓越。项目开源多个不同规模的模型版本，为语言模型技术的研究与应用提供有力支持。

llmperf-leaderboard - LLM推理服务性能基准测试与比较

GithubLLMPerfLLM推理提供商吞吐量响应时间开源项目性能基准测试

LLMPerf Leaderboard 项目对多家LLM推理服务进行性能评测，主要衡量输出令牌吞吐量和首个令牌响应时间(TTFT)。测试涵盖Llama-2系列的7B、13B和70B聊天模型，为开发者提供客观透明的性能数据和可复现的测试方法，有助于选择合适的LLM服务。

LLM-Training-Puzzles - 大型语言模型训练中的内存效率与计算管道优化

AIGPUGithubLLM Training Puzzles内存效率开源项目计算流水线

本项目包含8个在多GPU环境下训练大型语言模型的挑战性谜题，旨在通过实践掌握内存效率和计算管道优化的关键训练原理。尽管大多数人没有机会在成千上万台计算机上进行训练，这些技能对现代AI的发展至关重要。推荐使用Colab运行这些谜题，提供便捷的上手体验。

LLM-Blender - 多模型集成和生成优化增强LLM性能

GenFuserGithubLLM-BlenderMixInstructPairRMPairRanker开源项目

LLM-Blender通过利用多种开源大型语言模型的优势，采用成对比较和生成融合方法，显著提升模型性能。其框架包括PairRanker和GenFuser模块，并提供MixInstruct数据集进行大规模评估。该项目展示了其强大功能，并支持简单安装和多种使用场景。

LazyLLM - 低代码开发大语言模型应用的工具

AI应用GithubLazyLLM低代码开发多智能体应用开源项目模型微调

LazyLLM，一个创新的低代码平台，旨在帮助开发者低成本构建多智能体大语言模型应用。它简化了AI应用的构建及部署流程，支持一键式部署和跨平台操作，有效简化了初学者和技术专家的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