SJTULean

SJTULean's activity

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

Inuyasha2023ch 

updated 3 models almost 2 years ago

SJTULean/LeanFormalizer_SFT

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

SJTULean/LeanFormalizer_PPO

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

SJTULean/LeanFormalizer_CoT

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

wxz123 

updated 2 models almost 2 years ago

SJTULean/LeanFormalizer_SFT

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

SJTULean/LeanFormalizer_CoT

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

Inuyasha2023ch 

updated a model almost 2 years ago

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024

Inuyasha2023ch 

updated 2 datasets almost 2 years ago

SJTULean/LeanStatement_CoT

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

SJTULean/LeanStatement_SFT

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

wxz123 

updated a Space almost 2 years ago

Running

README

🐨

Inuyasha2023ch 

updated a dataset almost 2 years ago

SJTULean/LeanStatement_RL

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

Inuyasha2023ch 

updated a Space almost 2 years ago

Running

README

🐨

wxz123 

updated a model almost 2 years ago

SJTULean/LeanFormalizer_PPO

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

wxz123 

updated a dataset almost 2 years ago

SJTULean/LeanStatement_RL

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

wxz123 

updated a model almost 2 years ago

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024

wxz123 

updated 2 datasets almost 2 years ago

SJTULean/LeanStatement_SFT

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

SJTULean/LeanStatement_CoT

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