AI RESEARCH
A Theoretical Framework for Self-Play Theorem Proving Algorithms
arXiv CS.LG
•
ArXi:2606.01861v1 Announce Type: new Self-play, a type of