Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
SJTULean
/
LeanFormalizer_SFT
like
2
Follow
SJTULean
19
Safetensors
SJTULean/LeanStatement_SFT
English
qwen2
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
refs/pr/1
LeanFormalizer_SFT
/
README.md
Commit History
Improve language tag
cfd755b
verified
lbourdois
commited on
Apr 28, 2025
Update README.md
98430bc
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Update README.md
760945d
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Update README.md
1ca83c1
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Update README.md
0b547ea
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Update README.md
b2ffba4
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Update README.md
aef8a47
verified
wxz123
commited on
Dec 25, 2024
Update README.md
d56c73c
verified
wxz123
commited on
Dec 25, 2024
Update README.md
3438e5a
verified
Inuyasha2023ch
commited on
Dec 25, 2024
initial commit
d03c492
verified
wxz123
commited on
Dec 24, 2024
lbourdois
commited on
wxz123
commited on
wxz123
commited on
wxz123
commited on
