STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving Paper • 2502.00212 • Published Jan 31 • 1