![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Qingxing Cao
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c10]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 - [c9]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 - [c8]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 - [i15]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 abs/2402.08957 (2024) - [i14]Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang:
ATG: Benchmarking Automated Theorem Generation for Generative Language Models. CoRR abs/2405.06677 (2024) - [i13]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 abs/2406.14408 (2024) - 2023
- [c7]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: 11594-11632 - [i12]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 abs/2310.00656 (2023) - [i11]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 abs/2310.02954 (2023) - [i10]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 abs/2310.10180 (2023) - 2022
- [j5]Xunlin Zhan
, Yinya Huang
, Xiao Dong, Qingxing Cao
, Xiaodan Liang:
PathReasoner: Explainable reasoning paths for commonsense question answering. Knowl. Based Syst. 235: 107612 (2022) - [j4]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): 2758-2767 (2022) - 2021
- [j3]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): 887-901 (2021) - [c6]Yinya Huang
, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang:
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. AAAI 2021: 6375-6383 - [c5]Qingxing Cao, Wentao Wan, Keze Wang, Xiaodan Liang, Liang Lin:
Linguistically Routing Capsule Network for Out-of-distribution Visual Question Answering. ICCV 2021: 1594-1603 - [p1]Qingxing Cao, Wentao Wan, Xiaodan Liang, Liang Lin:
Graph Reasoning Networks and Applications. Neuro-Symbolic Artificial Intelligence 2021: 103-125 - 2020
- [j2]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): 2809-2824 (2020) - [i9]Qingxing Cao, Xiaodan Liang, Keze Wang, Liang Lin:
Linguistically Driven Graph Capsule Network for Visual Question Reasoning. CoRR abs/2003.10065 (2020) - [i8]Qingxing Cao, Bailin Li, Xiaodan Liang, Keze Wang, Liang Lin:
Knowledge-Routed Visual Question Reasoning: Challenges for Deep Representation Embedding. CoRR abs/2012.07192 (2020) - [i7]Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang, Liang Lin:
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. CoRR abs/2012.13185 (2020)
2010 – 2019
- 2019
- [i6]Yukai Shi, Guanbin Li, Qingxing Cao, Keze Wang, Liang Lin:
Face Hallucination by Attentive Sequence Optimization with Reinforcement Learning. CoRR abs/1905.01509 (2019) - [i5]Qingxing Cao, Bailin Li, Xiaodan Liang, Liang Lin:
Explainable High-order Visual Question Reasoning: A New Benchmark and Knowledge-routed Network. CoRR abs/1909.10128 (2019) - 2018
- [c4]Xian Wu, Guanbin Li, Qingxing Cao, Qingge Ji, Liang Lin:
Interpretable Video Captioning via Trajectory Structured Localization. CVPR 2018: 6829-6837 - [c3]Qingxing Cao, Xiaodan Liang, Bailin Li, Guanbin Li, Liang Lin:
Visual Question Reasoning on General Dependency Tree. CVPR 2018: 7249-7257 - [i4]Qingxing Cao, Xiaodan Liang, Bailin Li, Guanbin Li, Liang Lin:
Visual Question Reasoning on General Dependency Tree. CoRR abs/1804.00105 (2018) - [i3]Qingxing Cao, Xiaodan Liang, Bailin Li, Liang Lin:
Interpretable Visual Question Answering by Reasoning on Dependency Trees. CoRR abs/1809.01810 (2018) - 2017
- [c2]Qingxing Cao, Liang Lin, Yukai Shi, Xiaodan Liang, Guanbin Li:
Attention-Aware Face Hallucination via Deep Reinforcement Learning. CVPR 2017: 1656-1664 - [i2]Qingxing Cao, Liang Lin, Yukai Shi, Xiaodan Liang, Guanbin Li:
Attention-Aware Face Hallucination via Deep Reinforcement Learning. CoRR abs/1708.03132 (2017) - 2016
- [j1]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): 713-727 (2016) - 2015
- [i1]Xiaodan Liang, Qingxing Cao, Rui Huang, Liang Lin:
Recognizing Focal Liver Lesions in Contrast-Enhanced Ultrasound with Discriminatively Trained Spatio-Temporal Model. CoRR abs/1502.00750 (2015) - 2014
- [c1]Xiaodan Liang, Qingxing Cao, Rui Huang, Liang Lin:
Recognizing focal liver lesions in contrast-enhanced ultrasound with discriminatively trained spatio-temporal model. ISBI 2014: 1184-1187
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-14 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint