SJTULean

SJTULean's activity

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

Inuyasha2023ch 

updated 3 models about 1 year ago

SJTULean/LeanFormalizer_SFT

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

SJTULean/LeanFormalizer_PPO

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

SJTULean/LeanFormalizer_CoT

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

wxz123 

updated 2 models about 1 year ago

SJTULean/LeanFormalizer_SFT

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

SJTULean/LeanFormalizer_CoT

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

Inuyasha2023ch 

updated a model about 1 year ago

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024

Inuyasha2023ch 

updated 2 datasets about 1 year ago

SJTULean/LeanStatement_CoT

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

SJTULean/LeanStatement_SFT

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

wxz123 

updated a Space about 1 year ago

Running

README

🐨

Inuyasha2023ch 

updated a dataset about 1 year ago

SJTULean/LeanStatement_RL

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

Inuyasha2023ch 

updated a Space about 1 year ago

Running

README

🐨

wxz123 

updated a model about 1 year ago

SJTULean/LeanFormalizer_PPO

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

wxz123 

updated a dataset about 1 year ago

SJTULean/LeanStatement_RL

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

wxz123 

updated 3 models about 1 year ago

SJTULean/LeanFormalizer_PPO

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

SJTULean/LeanFormalizer_SFT

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

SJTULean/LeanFormalizer_CoT

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

wxz123 

updated a dataset about 1 year ago

SJTULean/LeanStatement_RL

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

wxz123 

updated 3 models about 1 year ago

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024

SJTULean/LeanFormalizer_CoT

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