MixSATGEN: Learning Graph Mixing for SAT Instance Generation - Chen, Xinyan; Li, Yang; Wang, Runzhong; Yan, Junchi (International Conference on Learning Representations, 2024)