Qingxing Cao

Joined

July 2019

Names

Qingxing Cao

Emails

****@mail2.sysu.edu.cn (Confirmed)

****@gmail.com (Confirmed)

Personal Links

Google Scholar

DBLP

Semantic Scholar

Career & Education History

Postdoc

SUN YAT-SEN UNIVERSITY (sysu.edu.cn)

2019 – 2025

PhD student

SUN YAT-SEN UNIVERSITY (sysu.edu.cn)

2015 – 2019

Advisors, Relations & Conflicts

PhD Advisor

Liang Lin

2015 – 2019

Expertise

visual question answering

2016 – Present

Publications

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
- NeurIPS 2024 Track Datasets and Benchmarks Poster
- Readers: Everyone
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
- ICLR 2024 poster
- Readers: Everyone
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 oral
- Readers: Everyone
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
- ICLR 2024 spotlight
- Readers: Everyone
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
- EMNLP 2023 Main
- Readers: Everyone
Interpretable video captioning via trajectory structured localization
Xian Wu, Guanbin Li, Qingxing Cao, Qingge Ji, Liang Lin
- 18 May 2023
- OpenReview Archive Direct Upload
- Readers: Everyone
Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding
Qingxing Cao, Bailin Li, Xiaodan Liang, Keze Wang, Liang Lin
- 2022 (modified: 10 Nov 2022)
- IEEE Trans. Neural Networks Learn. Syst. 2022
- Readers: Everyone
PathReasoner: Explainable reasoning paths for commonsense question answering
Xunlin Zhan, Yinya Huang, Xiao Dong, Qingxing Cao, Xiaodan Liang
- 2022 (modified: 10 Nov 2022)
- Knowl. Based Syst. 2022
- Readers: Everyone
Interpretable Visual Question Answering by Reasoning on Dependency Trees
Qingxing Cao, Xiaodan Liang, Bailin Li, Liang Lin
- 2021 (modified: 24 Apr 2023)
- IEEE Trans. Pattern Anal. Mach. Intell. 2021
- Readers: Everyone
Graph Reasoning Networks and Applications
Qingxing Cao, Wentao Wan, Xiaodan Liang, Liang Lin
- 2021 (modified: 10 Nov 2022)
- Neuro-Symbolic Artificial Intelligence 2021
- Readers: Everyone

View all 25 publications

Co-Authors

View all 40 co-authors