Qingxing Cao - RankMe

36 papers A* 10Journal 21Unranked 4

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