Most Cited 2024 Highlight by Jing Xiong Papers
2 papers found
Conference
#1
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Haiming Wang, Huajian Xin, Chuanyang Zheng et al.
ICLR 2024arXiv:2310.00656
112
citations
#2
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Jing Xiong, Zixuan Li, Chuanyang Zheng et al.
ICLR 2024arXiv:2310.02954