Song, Xinhao

2 publications

NeurIPS 2025 Bridging Crypto with ML-Based Solvers: The SAT Formulation and Benchmarks Xinhao Zheng, Xinhao Song, Bolin Qiu, Yang Li, Zhongteng Gui, Junchi Yan

NeurIPS 2024 Learning Plaintext-Ciphertext Cryptographic Problems via ANF-Based SAT Instance Representation Xinhao Zheng, Yang Li, Cunxin Fan, Huaijin Wu, Xinhao Song, Junchi Yan