SATQuest Dataset Collections
Adam Yanxiao Zhao
sdpkjc
AI & ML interests
Reinforcement Learning
Recent Activity
new activity
about 4 hours ago
sdpkjc/SATQuest:Update dataset card: Add paper link, task categories, and tags
authored
a paper
2 days ago
ComputerRL: Scaling End-to-End Online Reinforcement Learning for
Computer Use Agents
authored
a paper
2 days ago
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement
Fine-Tuning of LLMs
Organizations
models
95
sdpkjc/Ant-v4-ppo_fix_continuous_action-seed5
Reinforcement Learning
•
Updated
sdpkjc/Ant-v4-ppo_fix_continuous_action-seed4
Reinforcement Learning
•
Updated
sdpkjc/Ant-v4-ppo_fix_continuous_action-seed3
Reinforcement Learning
•
Updated
sdpkjc/Ant-v4-ppo_fix_continuous_action-seed2
Reinforcement Learning
•
Updated
sdpkjc/Ant-v4-ppo_fix_continuous_action-seed1
Reinforcement Learning
•
Updated
sdpkjc/Humanoid-v4-ppo_fix_continuous_action-seed5
Reinforcement Learning
•
Updated
sdpkjc/Humanoid-v4-ppo_fix_continuous_action-seed4
Reinforcement Learning
•
Updated
sdpkjc/Humanoid-v4-ppo_fix_continuous_action-seed3
Reinforcement Learning
•
Updated
sdpkjc/Humanoid-v4-ppo_fix_continuous_action-seed2
Reinforcement Learning
•
Updated
sdpkjc/Humanoid-v4-ppo_fix_continuous_action-seed1
Reinforcement Learning
•
Updated
datasets
17
sdpkjc/SATQuest
Viewer
•
Updated
•
140
•
13
sdpkjc/SATQuest-RFT-3k
Viewer
•
Updated
•
3k
•
20
sdpkjc/24problems_quiz-eval-n4-1-10-24
Viewer
•
Updated
•
55.5k
•
5
sdpkjc/24problems_quiz-eval-5
Viewer
•
Updated
•
100k
•
8
sdpkjc/24problems_quiz
Viewer
•
Updated
•
85.6k
•
16
sdpkjc/SATQuest-RFT-1k
Viewer
•
Updated
•
1k
•
8
sdpkjc/SATQuest-Tiny
Viewer
•
Updated
•
10
•
6
sdpkjc/SATQuest-G
Viewer
•
Updated
•
963
•
3
sdpkjc/NumBase-N01-S2g-B2g
Viewer
•
Updated
•
983k
•
4
sdpkjc/NumBase-N01-S2g-B28
Viewer
•
Updated
•
459k
•
3