B. Akbudak

works on

asynchronous execution 1 formal verification 1 llm integration 1 neural theorem proving 1 tree search 1

From the 1 of 2 linked papers with an AI index.

collaborators

Showing cs.CLShow all

1 paper · 1 filter

cs.CL2026

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

Burak S. Akbudak, Zeynel A. UluÅan, Can S. Erer +1

TreeThink is an open‑source Python library that provides modular, asynchronous tree‑search capabilities for neural theorem proving, integrating large language model inference with…