2 papers
cs.CL2026
TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs
Burak S. Akbudak, Zeynel A. Uluşan, Can S. Erer +1
Tree search algorithms enable systematic exploration of the proof space in neural theorem proving. Existing LLM tree search libraries primarily target natural language reasoning an…
cs.AI2026
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
Zeynel A. Uluşan, Burak S. Akbudak, Can S. Erer +1
Recent neural theorem provers use reinforcement learning with verifiable rewards (RLVR), where proof assistants provide binary correctness signals. While verifiable rewards are che…