Formal-Informal
White Giver
WhiteGiverPlus
AI & ML interests
None yet
Recent Activity
updated
a dataset
26 days ago
pkuAI4M/lean_stage1_rag_have
published
a dataset
27 days ago
pkuAI4M/lean_stage1_rag_have
liked
a dataset
about 1 month ago
GAIR/LIMO
Organizations
Collections
1
spaces
1
models
11
WhiteGiverPlus/Qwen2.5-Poet3B
Text Generation
•
Updated
•
14
WhiteGiverPlus/Qwen2.5-ABC3B
Text Generation
•
Updated
•
35
WhiteGiverPlus/leanpt2
Text Generation
•
Updated
WhiteGiverPlus/qwen2-1.5B-MATH-0714
Text Generation
•
Updated
•
204
WhiteGiverPlus/open-web-math-md100
Updated
WhiteGiverPlus/open-web-math-filtered
Updated
WhiteGiverPlus/qwen1.8B_padMATH2
Feature Extraction
•
Updated
•
11
WhiteGiverPlus/mistral-deepseek-chat7b
Text Generation
•
Updated
•
14
WhiteGiverPlus/llama2-7b-deepseekmath
Text Generation
•
Updated
•
12
WhiteGiverPlus/mistral-lora-deepseek-MATH-0510
Text Generation
•
Updated
•
12
datasets
73
WhiteGiverPlus/2024_11_7
Viewer
•
Updated
•
500
•
11
WhiteGiverPlus/test_rewrite_v3
Viewer
•
Updated
•
2.89k
•
13
WhiteGiverPlus/mathlib_name
Viewer
•
Updated
•
155k
•
12
WhiteGiverPlus/cal_full
Viewer
•
Updated
•
11.1k
•
12
WhiteGiverPlus/cal_theorems_v2
Viewer
•
Updated
•
9.91k
•
10
WhiteGiverPlus/cal_theorems_test_dsv2
Viewer
•
Updated
•
100
•
13
WhiteGiverPlus/options_theorems_simplified_count_0
Viewer
•
Updated
•
13.6k
•
13
WhiteGiverPlus/result_dsv2
Viewer
•
Updated
•
2.8k
•
9
WhiteGiverPlus/result_deepseekv2_v3
Viewer
•
Updated
•
2.8k
•
10
WhiteGiverPlus/reformatted_options_theorems_simplified
Viewer
•
Updated
•
151k
•
13