Boolean Satisfiability via Imitation Learning - Zhang, Zewei; Liu, Huan; YU, YUANHAO; Chen, Jun; Xu, Xiangyu (International Conference on Learning Representations, 2026)