White Giver's picture

10

White Giver

WhiteGiverPlus

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 20 hours ago

pkuAI4M/RAG_lean_github

updated a dataset 1 day ago

pkuAI4M/RAG_lean_wkbk

updated a dataset 9 days ago

pkuAI4M/premise-selection_train_with_hn

Organizations

Collections 1

spaces 1

No application file

Multi LLM Test

models 9

WhiteGiverPlus/leanpt2

Text Generation • Updated Aug 8

WhiteGiverPlus/qwen2-1.5B-MATH-0714

Text Generation • Updated Jul 14 • 8

WhiteGiverPlus/open-web-math-md100

WhiteGiverPlus/open-web-math-filtered

WhiteGiverPlus/qwen1.8B_padMATH2

Feature Extraction • Updated May 21 • 3

WhiteGiverPlus/mistral-deepseek-chat7b

Text Generation • Updated May 11 • 5

WhiteGiverPlus/llama2-7b-deepseekmath

Text Generation • Updated May 10 • 5

WhiteGiverPlus/mistral-lora-deepseek-MATH-0510

Text Generation • Updated May 10 • 4

WhiteGiverPlus/mistral-lora-MATH-0707

Text Generation • Updated May 7 • 2

datasets 73

WhiteGiverPlus/2024_11_7

Viewer • Updated 14 days ago • 500 • 10

WhiteGiverPlus/test_rewrite_v3

Viewer • Updated Sep 25 • 2.89k • 33

WhiteGiverPlus/mathlib_name

Viewer • Updated Sep 17 • 155k • 23

WhiteGiverPlus/cal_full

Viewer • Updated Sep 14 • 11.1k • 30

WhiteGiverPlus/cal_theorems_v2

Viewer • Updated Sep 13 • 9.91k • 31

WhiteGiverPlus/cal_theorems_test_dsv2

Viewer • Updated Sep 12 • 100 • 34

WhiteGiverPlus/options_theorems_simplified_count_0

Viewer • Updated Sep 12 • 13.6k • 32

WhiteGiverPlus/result_dsv2

Viewer • Updated Sep 12 • 2.8k • 31

WhiteGiverPlus/result_deepseekv2_v3

Viewer • Updated Sep 12 • 2.8k • 30

WhiteGiverPlus/reformatted_options_theorems_simplified

Viewer • Updated Sep 11 • 151k • 31