Burak S. Akbudak

Bogazici University

Papers on Lattice

Total citations

Topics

Research focus

Reasoning & Chain-of-Thought (1)

Frequent co-authors

B. Akbudak (1)Zeynel A. Ulucsan (1)Zeynel A. Uluşan (1)Can S. Erer (1)Gözde Gül Şahin (1)Gozde Gul cSahin (1)

Papers (1)

Jul 13, 2026

B. Akbudak +6Jul 13, 2026·also Bogazici University, Friedrich-Alexander-Universität, Koç University, KUIS AI Lab

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

Achieving up to 6.3× speedup in formal proof search, TreeThink revolutionizes how LLMs can integrate with formal verifiers for enhanced mathematical reasoning.

B. Akbudak, Burak S. Akbudak, Zeynel A. Ulucsan +4

Reasoning & Chain-of-Thought