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

Devs

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving | Read Paper on Bytez