Hugging Face model: Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Distilled
Author: Yale-ROSE
Created: 2026-01-21 01:59:24
Last modified: 2026-01-21 02:05:32
Pipeline: text-classification
Likes: 0 | Downloads: 0
Tags: pytorch, sat, satisfiability, cube-and-conquer, variable-selection, combinatorial-optimization, text-classification, en, dataset:Yale-ROSE/SAT-VarSelector-Distilled, base_model:Qwen/Qwen3-0.6B, base_model:finetune:Qwen/Qwen3-0.6B, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-0.6B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-0.6B
tags: sat, satisfiability, cube-and-conquer, variable-selection, combinatorial-optimization
datasets: Yale-ROSE/SAT-VarSelector-Distilled
language: en
pipeline_tag: text-classification