White Giver

WhiteGiverPlus's activity

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

liked a model 9 days ago

deepseek-ai/DeepSeek-V3-Base

Updated 4 days ago • 7.53k • 1.11k

updated a model 12 days ago

WhiteGiverPlus/Qwen2.5-Poet3B

Text Generation • Updated 12 days ago • 4

updated a model 17 days ago

WhiteGiverPlus/Qwen2.5-ABC3B

Text Generation • Updated 17 days ago • 10

updated a collection about 1 month ago

Informal Statements

Collection

3 items • Updated Nov 27, 2024

updated 7 datasets about 1 month ago

pkuAI4M/RAG_lean_wkbk_6

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

pkuAI4M/RAG_lean_github_6

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

pkuAI4M/lean_github

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

pkuAI4M/lean_wkbk

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

pkuAI4M/Lean_github_formal_only_1119

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

pkuAI4M/RAG_lean_github

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

pkuAI4M/RAG_lean_wkbk

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

updated 2 datasets about 2 months ago

pkuAI4M/premise-selection_train_with_hn

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

WhiteGiverPlus/2024_11_7

Viewer • Updated Nov 7, 2024 • 500 • 31

updated 4 datasets 2 months ago

pkuAI4M/premise_selection_1031

Viewer • Updated Oct 31, 2024 • 383k • 32

pkuAI4M/premise_selection_trunc_1030_splited

Viewer • Updated Oct 30, 2024 • 407k • 29

pkuAI4M/premise_selection_full_1029

Viewer • Updated Oct 29, 2024 • 351k • 30

pkuAI4M/premise_selection_1029_0

Viewer • Updated Oct 29, 2024 • 357k • 29

liked a model 2 months ago

internlm/internlm2_5-step-prover

Text Generation • Updated Oct 22, 2024 • 410 • 3