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

Tree search algorithms enable systematic exploration of the proof space in neural theorem proving. Existing LLM tree search libraries primarily target natural language reasoning and do not provide native integration with formal verifiers, while theorem proving systems often rely on task-specific sea...