Recognizing focal liver lesions in contrast-enhanced ultrasound with discriminatively trained spatio-temporal model. - Xiaodan Liang; Qingxing Cao; Rui Huang 001; Liang Lin (ISBI, 2014)

Recognizing Focal Liver Lesions in CEUS With Dynamically Trained Latent Structured Models. - Xiaodan Liang; Liang Lin; Qingxing Cao; Rui Huang 001; Yongtian Wang (IEEE Trans. Medical Imaging, 2016)

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

Visual Question Reasoning on General Dependency Tree. - Qingxing Cao; Xiaodan Liang; Bailin Li; Guanbin Li; Liang Lin (CVPR, 2018)

Interpretable Video Captioning via Trajectory Structured Localization. - Xian Wu; Guanbin Li; Qingxing Cao; Qingge Ji; Liang Lin (CVPR, 2018)

Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network. - Qingxing Cao; Bailin Li; Xiaodan Liang; Liang Lin (CoRR, 2019)

Linguistically Driven Graph Capsule Network for Visual Question Reasoning. - Qingxing Cao; Xiaodan Liang; Keze Wang; Liang Lin (CoRR, 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)

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 (AAAI, 2021)

Linguistically Routing Capsule Network for Out-of-distribution Visual Question Answering. - Qingxing Cao; Wentao Wan; Keze Wang; Xiaodan Liang; Liang Lin (ICCV, 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)

Graph Reasoning Networks and Applications. - Qingxing Cao; Wentao Wan; Xiaodan Liang; Liang Lin (Neuro-Symbolic Artificial Intelligence, 2021)

PathReasoner: Explainable reasoning paths for commonsense question answering. - Xunlin Zhan; Yinya Huang; Xiao Dong; Qingxing Cao; Xiaodan Liang (Knowl. Based Syst., 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)

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. - Jing Xiong; Jianhao Shen; Ye Yuan 016; Haiming Wang; Yichun Yin; Zhengying Liu; Lin Li; Zhijiang Guo; Qingxing Cao; Yinya Huang; Chuanyang Zheng; Xiaodan Liang; et al. (EMNLP, 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 001; Zhenguo Li; et al. (CoRR, 2023)

VisDiaHalBench: A Visual Dialogue Benchmark For Diagnosing Hallucination in Large Vision-Language Models. - Qingxing Cao; Junhao Cheng; Xiaodan Liang; Liang Lin (ACL (1), 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 (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 001; Zhenguo Li; Xiaodan Liang (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 004; Chengming Li; et al. (ICLR, 2024)

ATG: Benchmarking Automated Theorem Generation for Generative Language Models. - Xiaohan Lin; Qingxing Cao; Yinya Huang; Zhicheng Yang; Zhengying Liu; Zhenguo Li; Xiaodan Liang (NAACL-HLT (Findings), 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)