Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
SJTULean
/
LeanFormalizer_Reward
like
0
Follow
SJTULean
19
SJTULean/LeanStatement_RL
English
arxiv:
1910.09700
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
LeanFormalizer_Reward
Commit History
Update README.md
5951cb2
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Create README.md
36d92a4
verified
wxz123
commited on
Dec 24, 2024
Delete README.md
8919b5c
verified
wxz123
commited on
Dec 24, 2024
Upload merges.txt with huggingface_hub
97ff06b
verified
wxz123
commited on
Dec 24, 2024
Upload vocab.json with huggingface_hub
02cb94a
verified
wxz123
commited on
Dec 24, 2024
Upload special_tokens_map.json with huggingface_hub
a8fc1ea
verified
wxz123
commited on
Dec 24, 2024
Upload tokenizer_config.json with huggingface_hub
49c8d12
verified
wxz123
commited on
Dec 24, 2024
Upload tokenizer.json with huggingface_hub
038c9df
verified
wxz123
commited on
Dec 24, 2024
Upload value_head.safetensors with huggingface_hub
e3fc95e
verified
wxz123
commited on
Dec 24, 2024
initial commit
bdc9289
verified
wxz123
commited on
Dec 24, 2024