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

3 points by heydenberk 4 months ago | 0 comments