Papers by Xiaolin Qin
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs (2026.acl-long)
Copied to clipboard
Yanxiao Zhao, Yaqian Li, Zi-Hao Bo, Rinyoichi Takezoe, Haojia Hui, Mo Guang, null Renlei, Xiaolin Qin, Kaiwen Long
| Challenge: | Large language models exhibit strong general reasoning abilities, yet the community lacks controllable, scalable, and verifiable tools to analyze and improve them. |
| Approach: | They propose a verifier that generates diverse SAT-based reasoning tasks from CNF instances and checks answers objectively with PySAT. |
| Outcome: | The proposed verifier generates diverse SAT-based reasoning tasks from CNF instances and checks answers objectively with PySAT. |