Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Xinze Wu
wxz123
Follow
0 followers
·
1 following
AI & ML interests
None yet
Recent Activity
updated
a model
about 2 months ago
SJTULean/LeanFormalizer_SFT
updated
a model
about 2 months ago
SJTULean/LeanFormalizer_CoT
updated
a Space
about 2 months ago
SJTULean/README
View all activity
Organizations
wxz123
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
2 models
about 2 months ago
SJTULean/LeanFormalizer_SFT
Updated
Dec 25, 2024
•
2
•
1
SJTULean/LeanFormalizer_CoT
Updated
Dec 25, 2024
•
3
updated
a Space
about 2 months ago
Running
README
🐨
updated
a model
about 2 months ago
SJTULean/LeanFormalizer_PPO
Updated
Dec 25, 2024
•
17
•
1
updated
a dataset
about 2 months ago
SJTULean/LeanStatement_RL
Viewer
•
Updated
Dec 25, 2024
•
5.76M
•
28
•
1
updated
a model
about 2 months ago
SJTULean/LeanFormalizer_Reward
Updated
Dec 25, 2024
updated
4 datasets
about 2 months ago
SJTULean/LeanStatement_SFT
Viewer
•
Updated
Dec 25, 2024
•
1.96M
•
37
•
1
SJTULean/LeanStatement_CoT
Viewer
•
Updated
Dec 25, 2024
•
142k
•
25
•
1
SJTULean/LeanStatement_CoT
Viewer
•
Updated
Dec 25, 2024
•
142k
•
25
•
1
SJTULean/LeanStatement_CoT
Viewer
•
Updated
Dec 25, 2024
•
142k
•
25
•
1