LLM-based formal provers can retrieve relevant lemmas and prior proofs, but relevance alone does not say whether a mathematical method can be used on the cur…
机构:UIUC
来源:arXiv 2610.09401 | AI4Papers 论文推荐平台