Hugging Face's logo

Yale-ROSE
/
Qwen3-0.6B-SAT-VarSelector-Distilled

Text Classification
PyTorch
English
sat
satisfiability
cube-and-conquer
variable-selection
combinatorial-optimization
Model card Files
xet
 Community
Qwen3-0.6B-SAT-VarSelector-Distilled
1.54 kB
  • 1 contributor
 History: 1 commit
erata's picture
erata
initial commit
97cc024 verified