SJTULean

SJTULean 's models 4

Sort:  Recently updated

SJTULean/LeanFormalizer_SFT

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

SJTULean/LeanFormalizer_PPO

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

SJTULean/LeanFormalizer_CoT

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

SJTULean/LeanFormalizer_Reward

Updated Dec 25, 2024