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 about 1 month ago • 311k • 42

pkuAI4M/lean_mathlib_rag

Viewer • Updated about 1 month ago • 92.2k • 39

liked a dataset about 1 month ago

Qwen/CodeElo

Viewer • Updated Jan 5 • 408 • 390 • 16

liked 2 models about 1 month ago

deepseek-ai/DeepSeek-V3

Text Generation • Updated 13 days ago • 984k • • 3.18k

deepseek-ai/DeepSeek-V3-Base

Updated 13 days ago • 28.3k • 1.52k

updated 2 models about 2 months ago

WhiteGiverPlus/Qwen2.5-Poet3B

Text Generation • Updated Dec 22, 2024 • 4

WhiteGiverPlus/Qwen2.5-ABC3B

Text Generation • Updated Dec 17, 2024 • 170

updated a collection 2 months ago

Informal Statements

Collection

3 items • Updated Nov 27, 2024

updated 2 datasets 2 months ago

pkuAI4M/RAG_lean_wkbk_6

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

pkuAI4M/RAG_lean_github_6

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

updated 7 datasets 3 months ago

pkuAI4M/lean_github

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

pkuAI4M/lean_wkbk

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

pkuAI4M/Lean_github_formal_only_1119

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

pkuAI4M/RAG_lean_github

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

pkuAI4M/RAG_lean_wkbk

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

pkuAI4M/premise-selection_train_with_hn

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

WhiteGiverPlus/2024_11_7

Viewer • Updated Nov 7, 2024 • 500 • 36