3 ms·STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving3 points by heydenberk 2y ago