Cao, Qinxiang

5 publications

ICLR 2026 Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration Qi Liu, Kangjie Bao, Yue Yang, Xinhao Zheng, Renqiu Xia, Qinxiang Cao, Junchi Yan

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

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

NeurIPS 2024 Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan

AAAI 2022 Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection Ting Long, Yutong Xie, Xianyu Chen, Weinan Zhang, Qinxiang Cao, Yong Yu