Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Yale-ROSE
/
Qwen3-4B-SAT-VarSelector-Sym-Aug-8-Epoch
like
0
Follow
Rigorous Software Engineering
6
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
Commit History
Upload folder using huggingface_hub
273f03d
verified
erata
commited on
about 16 hours ago
initial commit
58f4fad
verified
erata
commited on
about 16 hours ago