SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
Abstract
Yanxiao Zhao, Yaqian Li, Zi-Hao Bo, Rinyoichi Takezoe, Haojia Hui, Mo Guang, Renlei, Xiaolin Qin, Kaiwen Long. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.
Fields of Study & Subjects
Topic Modeling
Natural Language Processing Techniques
Multimodal Machine Learning Applications
Publication details
- Pages
- 2109–2131
- Publication date
- 1 January 2026
- Language
- EN