Model: zeweizhang/ImitSAT
Author: zeweizhang
Pipeline: text-generation
Tags: imitation-learning, boolean-satisfiability, SAT, CDCL, branching-policy, perceiver-ar, autoregressive, decision-sequence, text-generation, en, dataset:zeweizhang/ImitSAT-KeyTrace, arxiv:2509.25411, license:apache-2.0, region:us
Card metadata: license: apache-2.0
language: en
pipeline_tag: text-generation
tags: imitation-learning, boolean-satisfiability, SAT, CDCL, branching-policy, perceiver-ar, autoregressive, decision-sequence
datasets: zeweizhang/ImitSAT-KeyTrace
Likes: 0 | All-time downloads: 0
Created: 2025-10-02 03:24:02