SATQuest SATQuest Dataset Collections sdpkjc/SATQuest Viewer • Updated Sep 6, 2025 • 140 • 93 sdpkjc/SATQuest-RFT-3k Viewer • Updated Jul 30, 2025 • 3k • 26 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 • 93 sdpkjc/SATQuest-RFT-3k Viewer • Updated Jul 30, 2025 • 3k • 26 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
