Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Yale-ROSE
/
Qwen3-4B-SAT-VarSelector-Sym-Aug-8-Epoch
like
0
Follow
Rigorous Software Engineering
7
Text Classification
Transformers
PyTorch
custom
English
sat
sat-solver
cube-and-conquer
variable-selection
classification
qwen
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
Qwen3-4B-SAT-VarSelector-Sym-Aug-8-Epoch
/
latest
erata
Upload folder using huggingface_hub
273f03d
verified
3 months ago
raw
Copy download link
history
blame
contribute
delete
15 Bytes
global_step5000