3 papers
cs.LG2026
STAR-XPC: Set Transformer for Estimating X-ray Transmission in Polymer Composites
Can Erer, H. Birkan Yilmaz, Nebahat Aral
Evaluating the energy transmission ratio of an X-ray beam through a polymer composite is a challenging task in radiation shielding studies. The reference solution with Monte Carlo…
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…