Project Icon

MathBlackBox

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

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

MCTSr: 将数学作为大语言模型的黑盒

环境

服务器

我们需要VLLM或其他兼容OpenAI的方法。

pip install vllm

客户端

我们需要Huggingface工具包和OpenAI进行推理。

pip install datasets transformers openai

使用方法

该脚本依赖于Slurm,如果您在非Slurm环境中运行,

只需使用VLLM创建一个兼容OpenAI的服务器,并将其插入到'server.csv'中

IP,PORT,MODEL_NAME

如果您在Slurm环境中运行,请在make_n_server.py中将partition name更改为您自己的分区名称

然后,您可以运行run_with_earlystopping.py来处理数据集。

python run_with_earlystopping.py MODEL_NAME DATA_DIR_NAME

支持的数据集

数据集由DATA_DIR_NAME参数的第一部分给出,如gsm8k-llama3-8b-new-mcts-8对应gsm8k,可以从以下选项中选择:

        'gsm8k-llama3-8b-new-mcts-8',
         'gsmhard-llama3-8b-new-mcts-8',
         'olympiadbench-llama3-8b-new-mcts-8',
         'GAIC-llama3-8b-new-mcts-8',
         'MATH-llama3-8b-new-mcts-8',
         'AIME-llama3-8b-mcts-2'

使用run_olympics.py运行所有数据集。

注意:这将消耗很长时间。

引用

@misc{zhang2024accessing,
      title={Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8B}, 
      author={Di Zhang and Xiaoshui Huang and Dongzhan Zhou and Yuqiang Li and Wanli Ouyang},
      year={2024},
      eprint={2406.07394},
      archivePrefix={arXiv},
      primaryClass={cs.AI}
}

免责声明

本项目仍处于探索的早期阶段,请注意算法的输出,在未经充分测试的情况下不要将其部署到实际产品中。

阅读更多

https://arxiv.org/abs/2406.07394

重新实现

https://github.com/BrendanGraham14/mcts-llm

Jupyter笔记本

GPT-4O结果

项目侧边栏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号