Bridging Crypto with ML-based Solvers: the SAT Formulation and Benchmarks - Zheng, Xinhao; Song, Xinhao; Qiu, Bolin; Li, Yang; Gui, Zhongteng; Yan, Junchi (Advances in Neural Information Processing Systems, 2025)