🧑🔬 Haiming Wang — papers of 2023 — 3 papers, the most cited first3 papers · all years of Haiming WangLEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citationsFIMO: A Challenge Formal Dataset for Automated Theorem ProvingarXiv:2309.04295Chengwu Liu, Jianhao Shen, Huajian Xin, et al.2023 · 53 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/haiming-wang/year/2023/