White Giver

WhiteGiverPlus's activity

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

liked a model about 15 hours ago

deepseek-ai/DeepSeek-V3-Base

Updated about 2 hours ago • 379

updated a model 4 days ago

WhiteGiverPlus/Qwen2.5-Poet3B

Text Generation • Updated 4 days ago • 4

updated a model 9 days ago

WhiteGiverPlus/Qwen2.5-ABC3B

Text Generation • Updated 9 days ago • 10

updated 2 datasets 15 days ago

pkuAI4M/Theorem_chunk_all_zh

Viewer • Updated 15 days ago • 786k • 14

pkuAI4M/Theorem_chunk_all_en

Viewer • Updated 15 days ago • 1.33M • 14

updated a collection 29 days ago

Informal Statements

Collection

3 items • Updated 29 days ago

updated 8 datasets about 1 month ago

pkuAI4M/RAG_lean_wkbk_6

Viewer • Updated Nov 23 • 25.2k • 32

pkuAI4M/RAG_lean_github_6

Viewer • Updated Nov 23 • 219k • 33

pkuAI4M/lean_github

Viewer • Updated Nov 22 • 219k • 31

pkuAI4M/lean_wkbk

Viewer • Updated Nov 22 • 25.2k • 35

pkuAI4M/Lean_github_formal_only_1119

Viewer • Updated Nov 22 • 219k • 51

pkuAI4M/RAG_lean_github

Viewer • Updated Nov 20 • 219k • 30

pkuAI4M/RAG_lean_wkbk

Viewer • Updated Nov 20 • 25.2k • 32

pkuAI4M/premise-selection_train_with_hn

Viewer • Updated Nov 12 • 364k • 29

updated 4 datasets about 2 months ago

WhiteGiverPlus/2024_11_7

Viewer • Updated Nov 7 • 500 • 33

pkuAI4M/premise_selection_1031

Viewer • Updated Oct 31 • 383k • 34

pkuAI4M/premise_selection_trunc_1030_splited

Viewer • Updated Oct 30 • 407k • 33

pkuAI4M/premise_selection_full_1029

Viewer • Updated Oct 29 • 351k • 31