B. Akbudak

TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs

This work introduces TreeThink, an open-source Python library for modular, fully asynchronous tree search in neural theorem proving, which integrates established tree search methods with vLLM-based inference pipelines and diverse node evaluation techniques, ranging from lightweight heuristics to neural evaluators.