Hugging Face model: Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-5x
Author: Yale-ROSE
Created: 2026-01-26 18:21:33
Last modified: 2026-01-26 19:17:17
Pipeline: reinforcement-learning
Likes: 0 | Downloads: 0
Tags: sat, satisfiability, combinatorial-optimization, variable-selection, grpo, reinforcement-learning, en, base_model:Qwen/Qwen3-4B, base_model:finetune:Qwen/Qwen3-4B, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-4B
Card metadata:
license: apache-2.0
language: en
base_model: Qwen/Qwen3-4B
tags: sat, satisfiability, combinatorial-optimization, variable-selection, grpo, reinforcement-learning