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
main
LeanFormalizer_SFT
/
merges.txt
wxz123
Upload merges.txt with huggingface_hub
b0c1b36
verified
about 1 year ago
raw
Copy download link
history
contribute
delete
1.67 MB
File too large to display, you can
check the raw version
instead.