Project Icon

MathBlackBox

蒙特卡罗树搜索增强大语言模型数学能力

MathBlackBox项目采用蒙特卡罗树搜索(MCTS)方法提升大语言模型的数学问题解决能力。项目使用VLLM或其他OpenAI兼容方法构建服务器,客户端则基于Hugging Face工具包和OpenAI进行推理。支持GSM8K、OlympiadBench和MATH等多个数学数据集。研究显示,该方法可使LLaMa-3 8B模型在数学奥林匹克解题方面达到接近GPT-4的水平。目前项目处于早期阶段,仍需进一步测试和优化。

llm-attacks - 研究大语言模型的对抗性攻击与安全防御
GCG算法GithubLLM攻击实验复现对抗性攻击开源项目语言模型
LLM-attacks项目致力于研究对齐语言模型的通用和可迁移对抗性攻击。项目实现了GCG算法,可对LLaMA-2等模型进行安全测试。研究者能够复现论文中的单一行为、多行为和迁移实验。项目提供完整的安装指南、模型使用说明和实验脚本,并包含交互式演示notebook。该研究有助于深入理解和提升大语言模型的安全性,对相关领域的发展具有重要价值。
Qwen2-Math-1.5B-Instruct - Qwen2系列专业数学推理大模型
GithubHuggingfaceQwen2-Math大语言模型开源项目指令模型数学推理模型自然语言处理
Qwen2-Math-1.5B-Instruct是基于Qwen2系列开发的数学推理专用指令模型。该模型在解决复杂多步逻辑推理的数学问题上表现优异,性能超越多数开源模型。目前主要支持英文对话,可通过Hugging Face Transformers或ModelScope轻松部署使用。作为一个专业的数学推理工具,它为科研社区解决高级数学问题提供了有力支持。
MKL.NET - 跨平台数学计算库 整合Intel MKL功能
.NET APIGithubMKL.NET开源项目矩阵运算英特尔MKL跨平台
MKL.NET作为跨平台.NET API,为Intel MKL提供接口。项目保持与MKL C开发者参考手册相近的语法,实现了矩阵代数、优化算法和统计函数等数学计算功能。设计开放且易用,通过GitHub Actions进行跨平台测试。MKL.NET采用NuGet包管理,支持多种运行时环境,是一个灵活的数学计算工具。
ML-ProjectKart - 机器学习和人工智能的优质开源项目集合
GithubML-ProjectKart开源项目机器学习深度学习自然语言处理计算机视觉
这个平台展示了多种机器学习、深度学习、计算机视觉和自然语言处理项目,帮助不同水平的用户熟练掌握ML/AI算法。技术从业人员可以通过遵循贡献指南参与项目贡献,获取实践经验并提升技能,推动开源社区的持续发展。
MiniCPM3-4B - 轻量高效的开源模型支持长文本处理和函数调用
GithubHuggingfaceMiniCPM3人工智能大语言模型开源模型开源项目机器学习模型
MiniCPM3-4B是一款开源语言模型,仅用4B参数就达到了接近GPT-3.5-Turbo的性能。它具备32k上下文窗口、函数调用和代码解释器等功能,在中英双语、数学和编程等多个基准测试中表现出色。通过创新的训练策略,MiniCPM3-4B实现了与7B-9B模型相当的能力,为资源受限的AI应用场景提供了高效选择。
xLAM-8x7b-r - 提升AI代理决策效率与多领域自动化应用
GithubHuggingfacexLAM人工智能助手工具调用开源项目模型语言模型
项目详细介绍了提升决策支持和执行用户指令的大语言模型系列。这些模型通过自主任务规划与执行,将工具调用与代理机制结合应用于多个领域。xLAM系列模型强调其在自动化工作流程方面的应用,专注于研究和离线功能的增强。提供的量化GGUF文件兼具隐私与效率,通过与Huggingface的整合,项目提供了详细的使用指南,并在多个基准测试如Berkeley Function-Calling、Webshop和ToolQuery中表现出色。
ToRA - 改进数学推理问题解决的工具集成代理
GithubToRA工具集成开源开源项目数学推理模型发布
ToRA是一款工具集成推理代理,能够通过与外部工具互动解决复杂的数学推理问题。ToRA模型结合了自然语言推理和计算工具的优势,在多个数学任务中表现优异,尤其是ToRA-Code-34B和ToRA-70B,显著提升了数学数据集的准确率。此项目的开源代码和模型为进一步研究数学问题的解决提供了强大的资源。
GLM-4 - 多语言支持与长文本处理能力
AI对话GLM-4Github多模态大语言模型开源项目长文本
GLM-4-9B系列是智谱AI推出的开源预训练模型,包括基础版、支持128K上下文的Chat版、1M长文本版及多模态版。该系列支持26种语言,在语义理解、数学计算、逻辑推理等多项评测中表现优异。GLM-4-9B-Chat具备网页浏览、代码执行等功能,GLM-4V-9B则增加了视觉理解能力。这些模型在多项基准测试中均超越了同规模竞品。
can-ai-code - 通过人类撰写的面试题测试AI的编程能力
AI codingDockerGithubLLMquantizationtesting suite开源项目
该项目通过人类撰写的面试题测试AI的编程能力,提供多种主流API提供商和CUDA支持的推理脚本,并在基于Docker的沙盒环境中验证Python和NodeJS代码的安全性。用户可以评估提示技巧和采样参数对大语言模型(LLM)编码性能的影响,以及量化对LLM编码性能的衰减影响。项目包括多语言测试套件和来自OpenAI的Python-only测试套件,支持对比分析,并提供了详尽的结果数据和评估脚本。
项目侧边栏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号