Paper Arxiv
Introducing TreeThink: an open-source Python library combining LLM generation with symbolic tree search for neural theorem proving!
Our paper entitled TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs is available on arXiv. We introduce TreeThink, an open-source Python library for modular, fully asynchronous tree search in neural theorem proving, supporting Lean 4, Rocq, and Isabelle/HOL. Check out the package and code!
