作者位次 #3/9ACL 2026Poster· Natural Language Processing
SATQ uest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLM s
Yanxiao Zhao · Yaqian Li · Zihao Bo · Rinyoichi Takezoe · Haojia Hui · Mo Guang · Lei Ren · Xiaolin Qin · Kaiwen Long
摘要
Large language models (LLMs) exhibit strong general reasoning, yet the community lacks controllable, scalable, and verifiable tools to analyze and improve these abilities. We present SATQuest, a verifier that generates diverse SAT-based reasoning tasks directly from Conjunctive Normal Form (CNF)...