Xinze Wu

wxz123's activity

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

liked a model 4 days ago

audnai/penclaw-Kimi-K3.0-abliterated-GGUF

Updated 1 day ago • 121

updated 2 models over 1 year ago

SJTULean/LeanFormalizer_SFT

8B • Updated Dec 25, 2024 • 7 • 2

SJTULean/LeanFormalizer_CoT

8B • Updated Dec 25, 2024 • 4 • 1

updated a Space over 1 year ago

Running

README

🐨

updated a model over 1 year ago

SJTULean/LeanFormalizer_PPO

8B • Updated Dec 25, 2024 • 6 • 1

updated a dataset over 1 year ago

SJTULean/LeanStatement_RL

Viewer • Updated Dec 25, 2024 • 5.76M • 19 • 1

updated a model over 1 year ago

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024

updated 2 datasets over 1 year ago

SJTULean/LeanStatement_SFT

Viewer • Updated Dec 25, 2024 • 1.96M • 31 • 2

SJTULean/LeanStatement_CoT

Viewer • Updated Dec 25, 2024 • 142k • 28 • 2