1
A Theoretical Framework for Self-Play Theorem Proving Algorithms
自对弈算法在定理证明领域有了严谨的理论根基，为AI数学推理提供新视角。
arXiv:2606.01861v1 Announce Type: new Abstract: Self-play, a type of training algorithm that enables a model to self-improve, has recently shown promi…