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}, 
}