Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
AI4M
university
Activity Feed
Request to join this org
Follow
19
AI & ML interests
None defined yet.
Recent Activity
WhiteGiverPlus
updated
a dataset
16 days ago
pkuAI4M/Theorem_chunk_all_zh
WhiteGiverPlus
updated
a dataset
16 days ago
pkuAI4M/Theorem_chunk_all_en
WhiteGiverPlus
updated
a collection
30 days ago
Informal Statements
View all activity
Team members
15
pkuAI4M
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
WhiteGiverPlus
updated
2 datasets
16 days ago
pkuAI4M/Theorem_chunk_all_zh
Viewer
•
Updated
16 days ago
•
786k
•
15
pkuAI4M/Theorem_chunk_all_en
Viewer
•
Updated
16 days ago
•
1.33M
•
15
WhiteGiverPlus
updated
a collection
30 days ago
Informal Statements
Collection
3 items
•
Updated
30 days ago
WhiteGiverPlus
updated
7 datasets
about 1 month ago
pkuAI4M/RAG_lean_wkbk_6
Viewer
•
Updated
Nov 23
•
25.2k
•
33
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
•
33
Slashblade
updated
a dataset
about 1 month ago
pkuAI4M/data-aug-test
Viewer
•
Updated
Nov 19
•
2.85k
•
30
WhiteGiverPlus
updated
a dataset
about 1 month ago
pkuAI4M/premise-selection_train_with_hn
Viewer
•
Updated
Nov 12
•
364k
•
29
WhiteGiverPlus
updated
4 datasets
about 2 months ago
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
pkuAI4M/premise_selection_1029_0
Viewer
•
Updated
Oct 29
•
357k
•
31
WhiteGiverPlus
updated
a dataset
3 months ago
pkuAI4M/DPO_test_0929
Viewer
•
Updated
Sep 29
•
1.12M
•
33
Slashblade
updated
a dataset
3 months ago
pkuAI4M/algebra_exercises_v4_11_0_cleaner
Viewer
•
Updated
Sep 21
•
1.91k
•
41
Load more