Zhouliang Yu

zhouliang's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a dataset 10 days ago

AI-Math-TCS/tcs_proof_strategy

Viewer • Updated May 17 • 19k • 130 • 1

liked a dataset 28 days ago

rootacess/Lean-SFT-dataset

Viewer • Updated Feb 11 • 25.8k • 72 • 1

liked 2 datasets 2 months ago

ianncity/KIMI-K2.5-1000000x

Viewer • Updated Apr 7 • 733k • 4.22k • 263

ReasoningTransferability/math_sft_40K

Viewer • Updated Jul 8, 2025 • 39.9k • 43 • 11

liked a dataset 3 months ago

Artemis0430/NuminaMath-20k-Stratified

Viewer • Updated Apr 2 • 20k • 22 • 3

liked a model 3 months ago

OpenDataArena/Qwen3-8B-ODA-Math-460k

Text Generation • 308k • Updated Jan 21 • 51 • 2

liked a dataset 3 months ago

nohurry/Opus-4.6-Reasoning-3000x-filtered

Viewer • Updated Mar 31 • 2.33k • 1.77k • 623

liked a model 3 months ago

Jackrong/Qwopus3.5-4B-v3

Image-Text-to-Text • 5B • Updated Apr 6 • 1.39k • 14

liked 6 datasets 4 months ago

BytedTsinghua-SIA/CUDA-Agent-Ops-6K

Viewer • Updated Feb 27 • 6k • 179 • 66

Goedel-LM/SFT_dataset_v2

Viewer • Updated Mar 2 • 1.75M • 906 • 31

lm-provers/ProofBench

Viewer • Updated Jan 9 • 290 • 46 • 3

AI-MO/NuminaMath-1.5

Viewer • Updated Jan 29 • 896k • 5.34k • 189

AI-MO/aops

Viewer • Updated Mar 31 • 80.7k • 727 • 6

lm-provers/FineProofs-SFT

Viewer • Updated Feb 14 • 12.1k • 257 • 42

liked 5 datasets 5 months ago

FrenzyMath/Herald_proofs

Viewer • Updated May 13, 2025 • 44.6k • 59 • 4

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 87 • 14

wenjiema02/ProofBench

Viewer • Updated Oct 14, 2025 • 899 • 66 • 7

ulamai/UnsolvedMath

Preview • Updated May 13 • 49 • 23

phanerozoic/Lean4-Mathlib

Viewer • Updated 19 days ago • 232k • 118 • 2

liked a dataset 6 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 873 • 122