TY  - RPRT
TI  - SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
AU  - Yanxiao Zhao
AU  - Yaqian Li
AU  - Zihao Bo
AU  - Rinyoichi Takezoe
AU  - Haojia Hui
AU  - Mo Guang
AU  - Lei Ren
AU  - Xiaolin Qin
AU  - Kaiwen Long
PY  - 2026
DO  - 10.18653/v1/2026.acl-long.96
UR  - https://arxiv.org/abs/2509.00930
ID  - 2509.00930
ER  -