63 citations · 82 across the 16 of their papers we have counts for
1 paper · 1 filter
Yihan Xu, Jia-Chen Gu, Junyi Zhang +7
Retrieving relevant lemmas is crucial for formal theorem proving, enabling provers to build machine-checkable proofs from established mathematical results. Recent retrieval systems…