metadata
license: apache-2.0
pipeline_tag: reinforcement-learning
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},
}