arXiv:2610.09401v1 Announce Type: new Abstract: 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 current theorem.
← Back to all developments · Signals are a development reported by more than one source. See the methodology.