Dong & Ma

AI researchers propose theoretical framework for self-play theorem proving

Researchers have developed a theoretical framework to understand how self-play algorithms can improve theorem-proving capabilities in large language models. The framework formalizes theorems as a graph and demonstrates …