White Giver

WhiteGiverPlus's activity

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

New activity in deepseek-ai/DeepSeek-R1-Zero 17 days ago

when release the technical report.

3

#6 opened 17 days ago by

yzg37166

updated 2 datasets about 1 month ago

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6 • 311k • 42

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6 • 92.2k • 39

liked a dataset about 1 month ago

Qwen/CodeElo

Viewer • Updated Jan 5 • 408 • 398 • 16

liked 2 models about 1 month ago

deepseek-ai/DeepSeek-V3

Text Generation • Updated 13 days ago • 1.05M • • 3.22k

deepseek-ai/DeepSeek-V3-Base

Updated 14 days ago • 28.8k • 1.52k

updated 2 models about 2 months ago

WhiteGiverPlus/Qwen2.5-Poet3B

Text Generation • Updated Dec 22, 2024 • 6

WhiteGiverPlus/Qwen2.5-ABC3B

Text Generation • Updated Dec 17, 2024 • 174

updated a collection 2 months ago

Informal Statements

Collection

3 items • Updated Nov 27, 2024

updated 9 datasets 3 months ago

pkuAI4M/RAG_lean_wkbk_6

Viewer • Updated Nov 23, 2024 • 25.2k • 38

pkuAI4M/RAG_lean_github_6

Viewer • Updated Nov 23, 2024 • 219k • 35

pkuAI4M/lean_github

Viewer • Updated Nov 22, 2024 • 219k • 34

pkuAI4M/lean_wkbk

Viewer • Updated Nov 22, 2024 • 25.2k • 36

pkuAI4M/Lean_github_formal_only_1119

Viewer • Updated Nov 22, 2024 • 219k • 34

pkuAI4M/RAG_lean_github

Viewer • Updated Nov 20, 2024 • 219k • 34

pkuAI4M/RAG_lean_wkbk

Viewer • Updated Nov 20, 2024 • 25.2k • 34

pkuAI4M/premise-selection_train_with_hn

Viewer • Updated Nov 12, 2024 • 364k • 36

WhiteGiverPlus/2024_11_7

Viewer • Updated Nov 7, 2024 • 500 • 35