Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
haielab
/
STP_model_Lean_0320-counterexamples-base
like
0
Transformers
Safetensors
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
STP_model_Lean_0320-counterexamples-base
Commit History
Upload tokenizer
1620e6e
verified
haielab
commited on
Jun 11, 2025
Upload model
853c07f
verified
haielab
commited on
Jun 11, 2025
initial commit
728b6a9
verified
haielab
commited on
Jun 11, 2025
haielab commited on haielab commited on haielab commited on 