Not at this point. It builds on AlphaZero, which does have a paper: https://
arxiv.org/abs/1712.01815 It uses the Lean theorem proving system as the way of expressing the theorems and proofs:

→ View original post on X — @jeffdean