Hugging Face's logo

haielab
/
STP_model_Lean_0320-conjecture-base-FineTune-new-config

Text Generation
Transformers
Safetensors
PEFT
English
code
lora
causal-lm
theorem-proving
stp
flash-attn-2
bf16
conversational
Model card Files
xet
Community
STP_model_Lean_0320-conjecture-base-FineTune-new-config
3.43 GB
  • 1 contributor
 History: 6 commits
haielab's picture
haielab
Update README.md
83ff84d verified