5 citations · 5 across the 12 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2024
Quantifying Divergence for Human-AI Collaboration and Cognitive Trust
Müge Kural, Ali Gebeşçe, Tilek Chubakov +1
Predicting the collaboration likelihood and measuring cognitive trust to AI systems is more important than ever. To do that, previous research mostly focus solely on the model feat…