STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving

3 points| heydenberk | 1 year ago |arxiv.org