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
ImitSAT: Boolean Satisfiability via Imitation Learning
Zewei Zhang
Huan Liu
Yuanhao Yu
Jun Chen
Xiangyu Xu
More details, training/evaluation scripts, and ablations can be found in the GitHub repository and the paper.
Download the model
git lfs install
git clone https://huggingface.co/zeweizhang/ImitSAT
Files in this repo
ImitSAT.npz — trained checkpoint (NumPy/JAX arrays).
tokenizer/
vocab.txt
tokenizer_config.json
special_tokens_map.json
Citation
@misc{zhang2025booleansatisfiabilityimitationlearning,
title={Boolean Satisfiability via Imitation Learning},
author={Zewei Zhang and Huan Liu and Yuanhao Yu and Jun Chen and Xiangyu Xu},
year={2025},
eprint={2509.25411},
archivePrefix={arXiv},
primaryClass={cs.AI},
url={https://arxiv.org/abs/2509.25411},
}