Qingxing Cao

According to our database, Qingxing Cao authored at least 23 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

CoRR, 2024

ATG: Benchmarking Automated Theorem Generation for Generative Language Models.

Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 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

Proceedings of the Twelfth International Conference on Learning Representations, 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

Proceedings of the Twelfth International Conference on Learning Representations, 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

Proceedings of the Twelfth International Conference on Learning Representations, 2024

VisDiaHalBench: A Visual Dialogue Benchmark For Diagnosing Hallucination in Large Vision-Language Models.

Qingxing Cao, Junhao Cheng, Xiaodan Liang, Liang Lin

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang

CoRR, 2023

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.

Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding.

Qingxing Cao, Bailin Li, Xiaodan Liang, Keze Wang, Liang Lin

IEEE Trans. Neural Networks Learn. Syst., 2022

PathReasoner: Explainable reasoning paths for commonsense question answering.

Xunlin Zhan, Yinya Huang, Xiao Dong, Qingxing Cao, Xiaodan Liang

Knowl. Based Syst., 2022

2021

Graph Reasoning Networks and Applications.

Qingxing Cao, Wentao Wan, Xiaodan Liang, Liang Lin

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Interpretable Visual Question Answering by Reasoning on Dependency Trees.

Qingxing Cao, Xiaodan Liang, Bailin Li, Liang Lin

IEEE Trans. Pattern Anal. Mach. Intell., 2021

Linguistically Routing Capsule Network for Out-of-distribution Visual Question Answering.

Qingxing Cao, Wentao Wan, Keze Wang, Xiaodan Liang, Liang Lin

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement.

Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Face Hallucination by Attentive Sequence Optimization with Reinforcement Learning.

Yukai Shi, Guanbin Li, Qingxing Cao, Keze Wang, Liang Lin

IEEE Trans. Pattern Anal. Mach. Intell., 2020

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement.

Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang, Liang Lin

CoRR, 2020

Linguistically Driven Graph Capsule Network for Visual Question Reasoning.

Qingxing Cao, Xiaodan Liang, Keze Wang, Liang Lin

CoRR, 2020

2019

Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network.

Qingxing Cao, Bailin Li, Xiaodan Liang, Liang Lin

CoRR, 2019

2018

Interpretable Video Captioning via Trajectory Structured Localization.

Xian Wu, Guanbin Li, Qingxing Cao, Qingge Ji, Liang Lin

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

Visual Question Reasoning on General Dependency Tree.

Qingxing Cao, Xiaodan Liang, Bailin Li, Guanbin Li, Liang Lin

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

2017

Attention-Aware Face Hallucination via Deep Reinforcement Learning.

Qingxing Cao, Liang Lin, Yukai Shi, Xiaodan Liang, Guanbin Li

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017

2016

Recognizing Focal Liver Lesions in CEUS With Dynamically Trained Latent Structured Models.

Xiaodan Liang, Liang Lin, Qingxing Cao, Rui Huang, Yongtian Wang

IEEE Trans. Medical Imaging, 2016

2014

Recognizing focal liver lesions in contrast-enhanced ultrasound with discriminatively trained spatio-temporal model.

Xiaodan Liang, Qingxing Cao, Rui Huang, Liang Lin

Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014