From the 1 of 2 linked papers with an AI index.
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
TreeThink is an open‑source Python library that provides modular, asynchronous tree‑search capabilities for neural theorem proving, integrating large language model inference with…
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…