Cao, Qingxing

7 publications

ICLR 2024 DQ-LoRe: Dual Queries with Low Rank Approximation Re-Ranking for In-Context Learning Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang

NeurIPS 2024 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang

ICLR 2024 LEGO-Prover: Neural Theorem Proving with Growing Libraries Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang

ICLR 2024 MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang

ICCV 2021 Linguistically Routing Capsule Network for Out-of-Distribution Visual Question Answering Qingxing Cao, Wentao Wan, Keze Wang, Xiaodan Liang, Liang Lin

AAAI 2021 REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang

CVPR 2017 Attention-Aware Face Hallucination via Deep Reinforcement Learning Qingxing Cao, Liang Lin, Yukai Shi, Xiaodan Liang, Guanbin Li