A Theoretical Framework for Self-Play Theorem Proving Algorithms
arXiv:2606.01861v1 Announce Type: new Abstract: Self-play, a type of training algorithm that enables a model to self-improve, has recently shown promising empirical results in the context of formal th