SATQuest - a sdpkjc Collection

sdpkjc 's Collections

SATQuest

updated Sep 4, 2025

SATQuest Dataset Collections

sdpkjc/SATQuest

Viewer • Updated Sep 6, 2025 • 140 • 92
sdpkjc/SATQuest-RFT-3k

Viewer • Updated Jul 30, 2025 • 3k • 24
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs

Paper • 2509.00930 • Published Aug 31, 2025 • 4