Xinze Wu

wxz123's activity

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

updated 2 models about 1 month ago

SJTULean/LeanFormalizer_SFT

Updated Dec 25, 2024 • 27 • 1

SJTULean/LeanFormalizer_CoT

Updated Dec 25, 2024 • 5

updated a Space about 1 month ago

Running

🐨

README

updated a model about 1 month ago

SJTULean/LeanFormalizer_PPO

Updated Dec 25, 2024 • 21 • 1

updated a dataset about 1 month ago

SJTULean/LeanStatement_RL

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

updated a model about 1 month ago

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024

updated 4 datasets about 1 month ago

SJTULean/LeanStatement_SFT

Viewer • Updated Dec 25, 2024 • 1.96M • 54 • 1

SJTULean/LeanStatement_CoT

Viewer • Updated Dec 25, 2024 • 142k • 45 • 1

SJTULean/LeanStatement_CoT

Viewer • Updated Dec 25, 2024 • 142k • 45 • 1

SJTULean/LeanStatement_CoT

Viewer • Updated Dec 25, 2024 • 142k • 45 • 1