Cite
Notes
Only stored in your browser.
Attribution
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
arXiv 2025
from 1 papers
Haojia Hui
Kaiwen Long
Lei Ren
Mo Guang
Rinyoichi Takezoe
Xiaolin Qin
Yanxiao Zhao
Yaqian Li