🧑🔬 Qingxing Cao — papers of 2023 — 2 papers, the most cited first2 papers · all years of Qingxing CaoLEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citationsDQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context LearningarXiv:2310.02954Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.2023 · 27 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/qingxing-cao/year/2023/