Hugging Face model: zeweizhang/ImitSAT
Author: zeweizhang
Created: 2025-10-02 03:24:02
Last modified: 2026-02-26 02:16:04
Pipeline: other
Likes: 0 | Downloads: 0
Tags: imitation-learning, boolean-satisfiability, SAT, CDCL, branching-policy, perceiver-ar, autoregressive, decision-sequence, other, en, dataset:zeweizhang/ImitSAT-KeyTrace, arxiv:2509.25411, license:apache-2.0, region:us
Card metadata:
datasets: zeweizhang/ImitSAT-KeyTrace
language: en
license: apache-2.0
pipeline_tag: other
tags: imitation-learning, boolean-satisfiability, SAT, CDCL, branching-policy, perceiver-ar, autoregressive, decision-sequence