Zheng, Xinhao

6 publications

NeurIPS 2025 Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization Qi Liu, Xinhao Zheng, Renqiu Xia, Qinxiang Cao, Junchi Yan

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

AAAI 2025 Monitoring Primitive Interactions During the Training of DNNs Jie Ren, Xinhao Zheng, Jiyu Liu, Andrew Lizarraga, Ying Nian Wu, Liang Lin, Quanshi Zhang

ICLR 2025 Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-Based Approach Qi Liu, Xinhao Zheng, Xudong Lu, Qinxiang Cao, Junchi Yan

ICML 2025 Towards Attributions of Input Variables in a Coalition Xinhao Zheng, Huiqi Deng, Quanshi Zhang

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