SATQuest SATQuest Dataset Collections sdpkjc/SATQuest Viewer • Updated Sep 6, 2025 • 140 • 69 sdpkjc/SATQuest-RFT-3k Viewer • Updated Jul 30, 2025 • 3k • 9 SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs Paper • 2509.00930 • Published Aug 31, 2025 • 4
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs Paper • 2509.00930 • Published Aug 31, 2025 • 4
SATQuest SATQuest Dataset Collections sdpkjc/SATQuest Viewer • Updated Sep 6, 2025 • 140 • 69 sdpkjc/SATQuest-RFT-3k Viewer • Updated Jul 30, 2025 • 3k • 9 SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs Paper • 2509.00930 • Published Aug 31, 2025 • 4
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs Paper • 2509.00930 • Published Aug 31, 2025 • 4
