STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving #1 Post by heydenberk » Sat, Feb 08, 2025, 1:26 PM UTC STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Provingarxiv.org