White Giver

WhiteGiverPlus's activity

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

updated 2 datasets 2 days ago

pkuAI4M/lean_stage1_rag

Viewer • Updated 2 days ago • 311k • 1

pkuAI4M/lean_mathlib_rag

Viewer • Updated 2 days ago • 92.2k • 1

liked a dataset 4 days ago

Qwen/CodeElo

Viewer • Updated 3 days ago • 408 • 16 • 11

liked a model 4 days ago

deepseek-ai/DeepSeek-V3

Updated 10 days ago • 74.1k • 1.47k

liked a model 14 days ago

deepseek-ai/DeepSeek-V3-Base

Updated 10 days ago • 8.66k • 1.19k

updated a model 17 days ago

WhiteGiverPlus/Qwen2.5-Poet3B

Text Generation • Updated 17 days ago • 4

updated a model 22 days ago

WhiteGiverPlus/Qwen2.5-ABC3B

Text Generation • Updated 22 days ago • 11

updated a collection about 1 month ago

Informal Statements

Collection

3 items • Updated Nov 27, 2024

updated 8 datasets about 2 months 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 • 29

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

pkuAI4M/premise-selection_train_with_hn

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

updated 2 datasets 2 months ago

WhiteGiverPlus/2024_11_7

Viewer • Updated Nov 7, 2024 • 500 • 29

pkuAI4M/premise_selection_1031

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