Hugging Face model: Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-DPO
Author: Yale-ROSE
Created: 2026-01-31 05:30:26
Last modified: 2026-01-31 06:02:21
Pipeline: text-classification
Likes: 0 | Downloads: 0
Tags: sat-solver, variable-selection, dpo, direct-preference-optimization, qwen3, combinatorial-optimization, neural-symbolic, text-classification, en, dataset:Yale-ROSE/SAT-CNF-Rewards, base_model:Qwen/Qwen3-4B, base_model:finetune:Qwen/Qwen3-4B, license:mit, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-4B
Card metadata:
license: mit
language: en
tags: sat-solver, variable-selection, dpo, direct-preference-optimization, qwen3, combinatorial-optimization, neural-symbolic
base_model: Qwen/Qwen3-4B
datasets: Yale-ROSE/SAT-CNF-Rewards
pipeline_tag: text-classification