1STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving (opens in new tab)(arxiv.org)3heydenberk1y ago0