TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs
TreeThink:用于大语言模型数学推理的模块化树搜索库
机构 * Bogazici University(博阿齐奇大学) ; Codeway Studios(Codeway工作室) ; Friedrich-Alexander-Universität Erlangen-Nürnberg(埃尔朗根-纽伦堡大学) ; Koç University(科克大学) ; KUIS AI Lab(KUIS人工智能实验室)
专题命中 推理与问题求解 :LLM(abstract);分类 cs.CL
AI总结 介绍开源Python库TreeThink,用于神经定理证明的模块化全异步树搜索,集成多种方法技术,支持多种语言,连接REPL服务器,经评估在miniF2F和MATH500上有跨语言证明搜索等优势及异步加速。