QingXing Cao
Sun Yat-Sen University
H-index: 10
Asia-China
Top articles of QingXing Cao
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
arXiv preprint arXiv:2402.08957
2024/2/14
Trigo: Benchmarking formal mathematical proof reduction for generative language models
arXiv preprint arXiv:2310.10180
2023/10/16
Dq-lore: Dual queries with low rank approximation re-ranking for in-context learning
arXiv preprint arXiv:2310.02954
2023/10/4
Lego-prover: Neural theorem proving with growing libraries
arXiv preprint arXiv:2310.00656
2023/10/1
PathReasoner: Explainable reasoning paths for commonsense question answering
Knowledge-Based Systems
2022/1/10
Rem-net: Recursive erasure memory network for commonsense evidence refinement
Proceedings of the AAAI Conference on Artificial Intelligence
2021/5/18
REM-Net: Recursive Erasure Memory Network for Explanation Refinement on Commonsense Question Answering
2021/2/3
Yinya Huang
H-Index: 1
Meng Fang
H-Index: 16
Qingxing Cao
H-Index: 6
Xiaodan Liang
H-Index: 50
Liang Lin
H-Index: 10
Graph Reasoning Networks and Applications
2021
Linguistically routing capsule network for out-of-distribution visual question answering
2021
Knowledge-routed visual question reasoning: Challenges for deep representation embedding
IEEE Transactions on Neural Networks and Learning Systems
2021/1/1
Method for automatically recognizing liver tumor types in ultrasound images
2020/4/7
Linguistically driven graph capsule network for visual question reasoning
arXiv preprint arXiv:2003.10065
2020/3/23