SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs Paper • 2509.00930 • Published Aug 31 • 4
