Qingxing Cao

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 29

Top Topics

Theorem Proving

Face Hallucination

Question Answering

Top Venues

IEEE Trans. Pattern Anal. Mach. Intell.

Publications

Qingxing Cao, Junhao Cheng, Xiaodan Liang, Liang Lin
VisDiaHalBench: A Visual Dialogue Benchmark For Diagnosing Hallucination in Large Vision-Language Models. ACL (1) (2024)
Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. CoRR (2024)
Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. ICLR (2024)
Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang
ATG: Benchmarking Automated Theorem Generation for Generative Language Models. CoRR (2024)
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
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. ICLR (2024)
Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. CoRR (2024)
Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang
LEGO-Prover: Neural Theorem Proving with Growing Libraries. ICLR (2024)
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
LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR (2023)
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
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. CoRR (2023)
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
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. CoRR (2023)
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
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. EMNLP (2023)
Xunlin Zhan, Yinya Huang, Xiao Dong, Qingxing Cao, Xiaodan Liang
PathReasoner: Explainable reasoning paths for commonsense question answering. Knowl. Based Syst. 235 (2022)
Qingxing Cao, Bailin Li, Xiaodan Liang, Keze Wang, Liang Lin
Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding. IEEE Trans. Neural Networks Learn. Syst. 33 (7) (2022)
Qingxing Cao, Xiaodan Liang, Bailin Li, Liang Lin
Interpretable Visual Question Answering by Reasoning on Dependency Trees. IEEE Trans. Pattern Anal. Mach. Intell. 43 (3) (2021)
Qingxing Cao, Wentao Wan, Keze Wang, Xiaodan Liang, Liang Lin
Linguistically Routing Capsule Network for Out-of-distribution Visual Question Answering. ICCV (2021)
Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. AAAI (2021)
Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang, Liang Lin
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. CoRR (2020)
Yukai Shi, Guanbin Li, Qingxing Cao, Keze Wang, Liang Lin
Face Hallucination by Attentive Sequence Optimization with Reinforcement Learning. IEEE Trans. Pattern Anal. Mach. Intell. 42 (11) (2020)
Qingxing Cao, Xiaodan Liang, Keze Wang, Liang Lin
Linguistically Driven Graph Capsule Network for Visual Question Reasoning. CoRR (2020)
Qingxing Cao, Bailin Li, Xiaodan Liang, Keze Wang, Liang Lin
Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding. CoRR (2020)
Yukai Shi, Guanbin Li, Qingxing Cao, Keze Wang, Liang Lin
Face Hallucination by Attentive Sequence Optimization with Reinforcement Learning. CoRR (2019)
Qingxing Cao, Bailin Li, Xiaodan Liang, Liang Lin
Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network. CoRR (2019)
Qingxing Cao, Xiaodan Liang, Bailing Li, Guanbin Li, Liang Lin
Visual Question Reasoning on General Dependency Tree. CoRR (2018)
Qingxing Cao, Xiaodan Liang, Bailing Li, Guanbin Li, Liang Lin
Visual Question Reasoning on General Dependency Tree. CVPR (2018)
Qingxing Cao, Xiaodan Liang, Bailin Li, Liang Lin
Interpretable Visual Question Answering by Reasoning on Dependency Trees. CoRR (2018)
Xian Wu, Guanbin Li, Qingxing Cao, Qingge Ji, Liang Lin
Interpretable Video Captioning via Trajectory Structured Localization. CVPR (2018)
Qingxing Cao, Liang Lin, Yukai Shi, Xiaodan Liang, Guanbin Li
Attention-Aware Face Hallucination via Deep Reinforcement Learning. CVPR (2017)
Qingxing Cao, Liang Lin, Yukai Shi, Xiaodan Liang, Guanbin Li
Attention-Aware Face Hallucination via Deep Reinforcement Learning. CoRR (2017)
Xiaodan Liang, Liang Lin, Qingxing Cao, Rui Huang, Yongtian Wang
Recognizing Focal Liver Lesions in CEUS With Dynamically Trained Latent Structured Models. IEEE Trans. Medical Imaging 35 (3) (2016)
Xiaodan Liang, Qingxing Cao, Rui Huang, Liang Lin
Recognizing Focal Liver Lesions in Contrast-Enhanced Ultrasound with Discriminatively Trained Spatio-Temporal Model. CoRR (2015)
Xiaodan Liang, Qingxing Cao, Rui Huang, Liang Lin
Recognizing focal liver lesions in contrast-enhanced ultrasound with discriminatively trained spatio-temporal model. ISBI (2014)